diff options
-rw-r--r-- | Main.lean | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |