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

/haiku/3rdparty/mmu_man/onlinedemo/
H A Dhaiku.php172 $sessfile = make_qemu_sessionfile_name($idx); variable
173 dbg("checking \"$pidfile\", \"$sessfile\"...");
174 if (!file_exists($pidfile) && !file_exists($sessfile)) {
175 file_put_contents($sessfile, session_id());
176 $sid = file_get_contents($sessfile);
197 $sessfile = make_qemu_sessionfile_name($idx); variable
198 //dbg("checking \"$pidfile\", \"$sessfile\"...");
199 if (!file_exists($pidfile) && !file_exists($sessfile))
245 $sessfile = make_qemu_sessionfile_name($idx); variable
246 if (!file_exists($sessfile))
551 $sessfile = make_qemu_sessionfile_name($idx); variable
[all...]

Completed in 13 milliseconds