summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Main.lean5
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