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

/barrelfish-2018-10-04/tools/
H A Ddebug.sh27 PIDFILE=/tmp/qemu_debugsim_${USER}_${PORT}.pid
28 if test -f $PIDFILE; then
29 if ps `cat $PIDFILE` >/dev/null; then
30 echo "Another QEMU already running (PID: `cat $PIDFILE` PIDFILE: $PIDFILE)"
33 echo "Deleting stale lockfile $PIDFILE"
34 rm -f $PIDFILE
45 QEMU_INVOCATION="${QEMU_CMD} -serial $SERIAL_OUTPUT -gdb tcp::$PORT -S -daemonize -pidfile $PIDFILE"
51 PID=`cat ${PIDFILE}`
[all...]
H A Dqemu-wrapper.sh252 PIDFILE=/tmp/qemu_debugsim_${USER}_${PORT}.pid
253 if test -f $PIDFILE; then
254 if ps `cat $PIDFILE` >/dev/null; then
255 echo "Another QEMU already running (PID: `cat $PIDFILE` PIDFILE: $PIDFILE)"
258 echo "Deleting stale lockfile $PIDFILE"
259 rm -f $PIDFILE
281 -pidfile $PIDFILE"
291 -pidfile $PIDFILE"
[all...]

Completed in 38 milliseconds