(self, *arg)
| 144 | |
| 145 | # ------------------------[ exit ]------------------------------------ |
| 146 | def do_exit(self, *arg): |
| 147 | # close logfile |
| 148 | if self.logfile: |
| 149 | log().close(self.logfile) |
| 150 | sys.exit() |
| 151 | |
| 152 | # define alias but do not show alias in help |
| 153 | do_quit = do_exit |