diff options
author | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2013-01-16 09:38:02 +0100 |
---|---|---|
committer | Benjamin Franzke <benjaminfranzke@googlemail.com> | 2013-01-16 09:38:02 +0100 |
commit | 430f352723b345023857a8db2bda1dda38397576 (patch) | |
tree | efdc9fe20067abe73840fefcbddc580c5e0e1a38 | |
parent | b6fff50b6759ec49886b90de45086b91e2a46dc1 (diff) | |
download | mmswe-430f352723b345023857a8db2bda1dda38397576.tar.gz mmswe-430f352723b345023857a8db2bda1dda38397576.tar.bz2 mmswe-430f352723b345023857a8db2bda1dda38397576.zip |
start-browser: Always restart pluggit
-rwxr-xr-x | start-browser.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/start-browser.sh b/start-browser.sh index 7b5987c..0a3a682 100755 --- a/start-browser.sh +++ b/start-browser.sh @@ -13,6 +13,7 @@ cleanup() rm $idfile2 rm $idfile3 rm $stopfile + killall pluggit } control_c() @@ -39,7 +40,7 @@ wmctrl -i -r "$(cat $idfile2)" -e 0,1285,30,1280,720 start_and_watch_pluggit() { ts=`mktemp` while [ -e "$stopfile" ]; do - pluggit/pluggit "$@" && break; + pluggit/pluggit "$@"; sleep 1; done } |