pump version

timepp · Jul 15, 2024 · ace2665 · ace2665
1 parent 3d0f4f8
commit ace2665
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/jsr.json b/jsr.json
@@ -1,5 +1,5 @@
 {
     "name": "@timepp/ev",
-    "version": "0.1.3",
+    "version": "0.1.4",
     "exports": "./launch.ts"
 }
diff --git a/launch.ts b/launch.ts
@@ -50,9 +50,16 @@ async function main() {
         await apiImpl.cleanUp()
     }
 
+    let sigIntCount = 0
     Deno.addSignalListener('SIGINT', () => {
-        console.log('SIGINT received, shutting down backend')
-        backend.shutdown()
+        sigIntCount++
+        if (sigIntCount > 1) {
+            console.log('SIGINT received again, force exit')
+            Deno.exit(1)
+        } else {
+            console.log('SIGINT received, shutting down backend')
+            backend.shutdown()
+        }
     })
 
     await backend.finished