diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2019-11-26 19:50:28 -0500 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2019-11-26 19:50:28 -0500 |
| commit | 328de7ab14cc56275082db0b3ffec8ad56258a3e (patch) | |
| tree | bf697786b7b147944873bd3edaeed2077dd5c7ca /src/client/DocServer.ts | |
| parent | 96519f4537895edcd1a23f353322459de328a330 (diff) | |
| parent | e324248724a130a84b459a072dc846f500f8d9b0 (diff) | |
merge
Diffstat (limited to 'src/client/DocServer.ts')
| -rw-r--r-- | src/client/DocServer.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/client/DocServer.ts b/src/client/DocServer.ts index 2cec1046b..14479694c 100644 --- a/src/client/DocServer.ts +++ b/src/client/DocServer.ts @@ -64,6 +64,8 @@ export namespace DocServer { } } + let connection_error = false; + export function init(protocol: string, hostname: string, port: number, identifier: string) { _cache = {}; GUID = identifier; |