search

jaredp / OS161-Web-GDB

For debugging OS161 with a nice GUI in a browser
0 stars 0 forks source link

stdout from process doesn't get pushed to browser #13

Closed jaredp closed 10 years ago

jaredp commented 10 years ago

process stdout doesn't trigger a set_program_state

jaredp commented 10 years ago

fixed in https://github.com/jaredp/OS161-Web-GDB/commit/3c6656189d286a25d9b7c2352ac875d5f2b407f9