| 1234567891011121314151617181920 |
- # punch.sh
- find_free_servernum() {
- i=99
- while [ -f /tmp/.X$i-lock ]
- do
- i=$(($i + 1))
- done
- return $i
- }
- base=`dirname $0`
- logdir=$base/log
- [[ ! -d $logdir ]] && mkdir $logdir
- find_free_servernum
- servernum=$?
- Xvfb :$servernum &
- pid=$!
- DISPLAY=:$servernum python3 $base/punch.py $1
- kill -15 $pid
|