diff options
| author | bobzel <zzzman@gmail.com> | 2020-04-03 22:05:11 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-03 22:05:11 -0400 |
| commit | 5a49ff42f845239de72c4c31c4df0688313b30e7 (patch) | |
| tree | 082ea03501aecc4f9ea3f68d3954ef9b2c6195a8 /src/server/index.ts | |
| parent | a0e4ae65f81c62ac08761359e60b996f0e839559 (diff) | |
| parent | fac740378a9eeaeb0af4567f6402120aba8bd62e (diff) | |
Merge pull request #350 from browngraphicslab/search_doc
Search doc
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 f4446352f..97f70630b 100644 --- a/src/server/index.ts +++ b/src/server/index.ts @@ -146,7 +146,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(); } |