Function dispose

src/shared/logging.ts:139–152

()

	});
	return {
		async dispose(): Promise<void> {
			if (fileLogger) {
				await fileLogger.dispose();
				fileLogger = undefined;
			}
			return new Promise((resolve) => {
				if (logStream) {
					logStream.write(`${(new Date()).toDateString()} ${time(true)}Log file ended${os.EOL}`);
					logStream.once("finish", resolve);
					logStream.end();
					logStream = undefined;
				}
			});
		},
	};
}