Skip to content

Commit

Permalink
Add dump log button (set LOG_TO_FILE in const.js to use)
Browse files Browse the repository at this point in the history
  • Loading branch information
copy committed Jul 18, 2016
1 parent 6d4a979 commit 9968582
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 0 deletions.
1 change: 1 addition & 0 deletions debug.html
Original file line number Diff line number Diff line change
Expand Up @@ -125,6 +125,7 @@ <h4>Debugger</h4>
<input type="button" value="Dump GDT/LDT" id="dump_gdt">
<input type="button" value="Dump IDT" id="dump_idt">
<input type="button" value="Dump page tables" id="dump_pt">
<input type="button" value="Dump log" id="dump_log">
<br>

<input type="button" value="Pause" id="run">
Expand Down
5 changes: 5 additions & 0 deletions src/browser/main.js
Original file line number Diff line number Diff line change
Expand Up @@ -1120,6 +1120,11 @@
$("dump_pt").onclick = debug.dump_page_directory.bind(debug);
$("dump_instructions").onclick = debug.dump_instructions.bind(debug);

$("dump_log").onclick = function()
{
dump_file(log_data.join("\n"), "v86.log");
};

$("dump_instructions_file").onclick = function()
{
var ins = debug.get_instructions();
Expand Down

0 comments on commit 9968582

Please sign in to comment.