diff options
| -rwxr-xr-x | tests/virtualfb.sh | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/tests/virtualfb.sh b/tests/virtualfb.sh index e0d8320..d34a4f9 100755 --- a/tests/virtualfb.sh +++ b/tests/virtualfb.sh @@ -47,8 +47,12 @@ stop() isrunning() { isrunning_result= - if [ -e ./virtualfb.PID ]; then isrunning_result=1 ; fi - if [ -e ./virtualfb.DISPLAY ]; then isrunning_result=1 ; fi + if [ -e ./virtualfb.PID ]; then + VFB_PID=`cat ./virtualfb.PID` + if [ "`ps cax | awk ' { print $1 } ' | grep ^$VFB_PID\$`" ]; then + isrunning_result=1 + fi + fi } isrunning |