Guangcong Luo b7c252fbd6 Automatically end BattleStreams at end of battle ... PS prefers to keep battle streams open (for `/evalbattle`) until manually ended, but this is confusing some other users. We now automatically end streams unless the `keepAlive` option is set. Fixes #5157		2019-02-09 21:16:45 -06:00
..
crashlogger.js	Update Typescript to 3.1 (#4879)	2018-10-05 04:02:54 -05:00
dashycode.js	New library: Dashycode	2017-12-12 03:22:09 -06:00
fs.js	Fix minor typos	2019-02-09 00:03:51 -06:00
process-manager.js	Forward team validator crashes to main process	2019-01-11 00:41:49 -06:00
repl.js	Update to TypeScript 3.0.1 (#4710)	2018-08-07 03:27:28 +09:00
streams.js	Automatically end BattleStreams at end of battle	2019-02-09 21:16:45 -06:00
STREAMS.md	Fix streams.js doc comment	2018-01-20 12:16:47 -06:00