Better error messagesHEADmaster

1 files changed, 3 insertions, 2 deletions

diff --git a/Main.lean b/Main.lean
index 76a759f..3fc7643 100644
--- a/Main.lean
+++ b/Main.lean
@@ -13,8 +13,9 @@ def handler (conn : Client) := do
       let filename := (← IO.rand 0 <| 2 ^ 32 - 1).toInt32.toBitVec.toHex
       IO.println s!"Writing to {filename}"
       IO.FS.writeFile filename dataStr
-    | none => return
-  | none => return
+      conn.send s!"View at https://leanet.unnamed.website/{filename}\n".toUTF8
+    | none => conn.send "Invalid UTF-8\n".toUTF8
+  | none => conn.send "You screwed up somehow probably\n".toUTF8
 
 def main := do
   let server ← Server.mk