daily pastebin goal
5%
SHARE
TWEET

Untitled

a guest Jun 13th, 2018 54 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. 20,26d19
  2. < # Capture any arguments
  3. < QUOTED_ARGS=""
  4. < while [ "$1" != "" ] ; do
  5. <       QUOTED_ARGS="$QUOTED_ARGS \"$1\""
  6. <       shift
  7. < done
  8. <
  9. 33c26
  10. < exec java $JAVA_OPTS -jar "$LAUNCHJAR" $QUOTED_ARGS
  11. ---
  12. > exec java $JAVA_OPTS -jar "$LAUNCHJAR" "$@"
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top