Better date formatting in logs

discord/util.ts

@@ -16,16 +16,20 @@ const reactionEmojis: string[] = process.env.REACTIONS.split(',');
 let db: Database = null;
 
 
+function curDateStr() {
+    return new Date().toJSON().replace('T', ' ').replace('Z', '');
+}
+
 function logInfo(...data) {
-    console.log(`[${new Date()}] ${data.join(' ')}`);
+    console.log(`[${curDateStr()}] ${data.join(' ')}`);
 }
 
 function logWarn(...data) {
-    console.warn(`[${new Date()}] ${data.join(' ')}`);
+    console.warn(`[${curDateStr()}] ${data.join(' ')}`);
 }
 
 function logError(...data) {
-    console.error(`[${new Date()}] ${data.join(' ')}`);
+    console.error(`[${curDateStr()}] ${data.join(' ')}`);
 }
 
 async function openDb() {