diff options
Diffstat (limited to 'josm.sh')
-rwxr-xr-x | josm.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/josm.sh b/josm.sh new file mode 100755 index 000000000000..4c6cfdc8cb7f --- /dev/null +++ b/josm.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +while true; do + JAVA_OPTS= + [ -f /etc/conf.d/josm ] && . /etc/conf.d/josm + JAVA_OPTS="-Djosm.restart=true -Djava.net.useSystemProxies=true $JAVA_OPTS" + + java $JAVA_OPTS -jar /usr/share/java/josm/josm.jar "$@" + [ "z$?" != "z9" ] && break +done |