()
| 795 | }; |
| 796 | |
| 797 | cleanUpServerTerminatedSocket() { |
| 798 | if (this.socket && this.socket.readyState < 2) { |
| 799 | this.socket.close(); |
| 800 | } else { |
| 801 | this.onClose(); |
| 802 | } |
| 803 | } |
| 804 | |
| 805 | detectUnsupervisedBackground: (alreadyClosed: boolean) => boolean = |
| 806 | alreadyClosed => { |