diff options
Diffstat (limited to 'runcthon')
-rwxr-xr-x | runcthon | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -167,7 +167,7 @@ mkdirs() } trap 'echo SIGINT; pkill runcthon; pkill server; exit 1 ' SIGINT trap 'echo; echo -n "Done:"; date; exit 2' SIGTERM -Usage="$0 --mkdirs [dir] |--unmountall|--server|--serverdir|--noudp|--dokrb5|--onlykrb5|--nov4|--onlyv3|--onlyv4|--nov41|--dov42|--minver <ver>|--fsc|--rdma|--onlyrdma|--nolcks|--port <port>" +Usage="$0 --mkdirs [dir] |--unmountall|--server|--serverdir|--noudp|--dokrb5|--onlykrb5|--nov4|--onlyv3|--onlyv4|--nov41|--nov42|--minver <ver>|--fsc|--rdma|--onlyrdma|--nolcks|--port <port>" nolcks=0 noudp=1 @@ -175,7 +175,7 @@ dokrb5=0 onlykrb5=0 nov4=0 dov41=1 -dov42=0 +dov42=1 onlyv3=0 onlyv4=0 minver=0 @@ -253,8 +253,8 @@ do "--nov41" ) dov41=0 ;; - "--dov42" ) - dov42=1 + "--nov42" ) + dov42=0 ;; "--help" ) echo "$Usage" |