diff options
| author | Stanley Yip <33562077+yipstanley@users.noreply.github.com> | 2020-02-29 14:20:01 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-29 14:20:01 -0500 |
| commit | bb2f6955bef4f079c0fa7213e80fde7a76847799 (patch) | |
| tree | ef5e70925b8cdeb8229af849e33e6f3a4cceae7f /src/server/index.ts | |
| parent | 640f14da28d97600fb32d09023fc932e3a4052c4 (diff) | |
| parent | 2f6e27c67d1790d4350eede3003f0b614460f4d1 (diff) | |
Merge pull request #343 from browngraphicslab/pen
Pen
Diffstat (limited to 'src/server/index.ts')
| -rw-r--r-- | src/server/index.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/index.ts b/src/server/index.ts index 88f5fa3bf..10205314a 100644 --- a/src/server/index.ts +++ b/src/server/index.ts @@ -144,7 +144,7 @@ export async function launchServer() { * So, the 'else' clause is exactly what we've always run when executing npm start. */ if (process.env.RELEASE) { - (sessionAgent = new DashSessionAgent()).launch(); + // (sessionAgent = new DashSessionAgent()).launch(); } else { launchServer(); } |