diff options
| author | Sam Wilkins <samwilkins333@gmail.com> | 2019-11-23 18:19:27 -0500 |
|---|---|---|
| committer | Sam Wilkins <samwilkins333@gmail.com> | 2019-11-23 18:19:27 -0500 |
| commit | e324248724a130a84b459a072dc846f500f8d9b0 (patch) | |
| tree | d423cb61f993345f1cfbca0f913ae764f928891d /src/client/DocServer.ts | |
| parent | b831be86743e329cce441b3d7ae2aa5321e7fb9c (diff) | |
heartbeats
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; |