Index: core/launcher/unix/nbexec =================================================================== RCS file: /cvs/core/launcher/unix/nbexec,v retrieving revision 1.33 diff -u -r1.33 nbexec --- core/launcher/unix/nbexec 25 Oct 2005 05:18:03 -0000 1.33 +++ core/launcher/unix/nbexec 9 Nov 2005 22:33:58 -0000 @@ -53,9 +53,14 @@ # parse arguments # +strip() { + echo `echo $1 | /bin/sed 's/^\"\(.*\)\"$/\1/'` +} + parse_args() { while [ $# -gt 0 ] ; do - case "$1" in + param=`strip $1` + case "$param" in -h|-?|-help|--help) cat >&2 <