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; |
} |