basexserverstop script should accept arguments (-p, etc.)

Wednesday, 8 June 2011 · 1 message
GB
Godmar Back8 Jun 2011 11:55 #
Quoted text · 1 line
> diff -u /tmp/x/bin/basexserverstop ./bin/basexserverstop
--- /tmp/x/bin/basexserverstop 2011-03-21 16:23:06.000000000 -0400 +++ ./bin/basexserverstop 2011-06-08 03:53:58.000000000 -0400 @@ -7,4 +7,4 @@ BASEX=$PWD/../BaseX.jar
 # Run code
-java -cp "$BASEX" org.basex.BaseXServer stop
+java -cp "$BASEX" org.basex.BaseXServer ${1+"$@"} stop

⚡Generated with XQuery