| changeset 12 | fbfdde7326f4 |
| parent 11 | f8dd32bf0e89 |
| child 28 | 82bcde9e21c4 |
| 11:f8dd32bf0e89 | 12:fbfdde7326f4 |
|---|---|
115 # args |
115 # args |
116 if args : |
116 if args : |
117 log.error("No arguments are handled") |
117 log.error("No arguments are handled") |
118 return 2 |
118 return 2 |
119 |
119 |
120 # command required |
|
120 if not options.command: |
121 if not options.command: |
121 log.error("SSH_ORIGINAL_COMMAND not given") |
122 log.error("SSH_ORIGINAL_COMMAND not given") |
122 return 2 |
123 return 2 |
123 |
124 |
124 try : |
125 try : |