(options: SessionOptions)
| 97 | ended: boolean; |
| 98 | initTimestamp: number; |
| 99 | constructor(options: SessionOptions) { |
| 100 | super(); |
| 101 | this.pty = null; |
| 102 | this.batcher = null; |
| 103 | this.shell = null; |
| 104 | this.ended = false; |
| 105 | this.initTimestamp = new Date().getTime(); |
| 106 | this.init(options); |
| 107 | } |
| 108 | |
| 109 | init({uid, rows, cols: columns, cwd, shell: _shell, shellArgs: _shellArgs}: SessionOptions) { |
| 110 | const cleanEnv = |