Searched defs:pidfile (Results 1 - 1 of 1) sorted by relevance

/haiku/3rdparty/mmu_man/onlinedemo/
H A Dhaiku.php171 $pidfile = make_qemu_pidfile_name($idx); variable
196 $pidfile = make_qemu_pidfile_name($idx); variable
503 $pidfile = make_qemu_pidfile_name($idx); variable
568 $pidfile = make_qemu_pidfile_name($qemuidx); variable
[all...]

Completed in 28 milliseconds