Searched refs:do_kill (Results 1 - 1 of 1) sorted by relevance

/haiku/3rdparty/mmu_man/onlinedemo/
H A Dhaiku.php129 $do_kill = 0; variable
807 $do_kill = 1; variable
816 //echo "do_kill: " . $do_kill . "<br>\n";
880 if ($do_kill) {
884 } else if (!$do_kill && $do_run) {
893 if ($qemuidx >= 0 && !$do_kill) {

Completed in 29 milliseconds