| Index: src/debug-debugger.js
|
| ===================================================================
|
| --- src/debug-debugger.js (revision 5629)
|
| +++ src/debug-debugger.js (working copy)
|
| @@ -2118,7 +2118,7 @@
|
| }
|
| var script_id = request.arguments.script_id;
|
| var preview_only = !!request.arguments.preview_only;
|
| -
|
| +
|
| var scripts = %DebugGetLoadedScripts();
|
|
|
| var the_script = null;
|
| @@ -2139,11 +2139,11 @@
|
| }
|
|
|
| var new_source = request.arguments.new_source;
|
| -
|
| +
|
| var result_description = Debug.LiveEdit.SetScriptSource(the_script,
|
| new_source, preview_only, change_log);
|
| response.body = {change_log: change_log, result: result_description};
|
| -
|
| +
|
| if (!preview_only && !this.running_ && result_description.stack_modified) {
|
| response.body.stepin_recommended = true;
|
| }
|
|
|