Merge pull request 'more debug info' (#8) from dev into main

Reviewed-on: #8
2025-05-31 10:19:34 +00:00 · 2025-05-31 10:19:34 +00:00 · a0b22e2ef3
commit a0b22e2ef3
parent 0c1f08a9db 351dd27ab3
1 changed files with 1 additions and 0 deletions
--- a/mainbot.js
+++ b/mainbot.js
@ -42,6 +42,7 @@ const dialog = {
 }

 function leave_application(user) {
+    print("point of reach")
    print(JSON.stringify(user))
    user_application(user)