| changeset 51312 | 0ce544fbb509 |
| parent 48698 | 2585042b1a30 |
| child 51932 | f196352201d6 |
| 51311:337cfc42c9c8 | 51312:0ce544fbb509 |
|---|---|
94 ;; |
94 ;; |
95 e) |
95 e) |
96 MLTEXT="$MLTEXT $OPTARG" |
96 MLTEXT="$MLTEXT $OPTARG" |
97 ;; |
97 ;; |
98 f) |
98 f) |
99 MLTEXT="$MLTEXT Session.finish();" |
99 MLTEXT="$MLTEXT Command_Line.tool0 Session.finish;" |
100 ;; |
100 ;; |
101 m) |
101 m) |
102 if [ -z "$MODES" ]; then |
102 if [ -z "$MODES" ]; then |
103 MODES="\"$OPTARG\"" |
103 MODES="\"$OPTARG\"" |
104 else |
104 else |