From 0f23914c57fb63744a39371f7a04219a0eeb8250 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Nicol=C3=B2=20Balzarotti?= Date: Tue, 18 Sep 2018 08:51:09 +0200 Subject: [PATCH] add note on thing to fix --- src/repl.jl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/repl.jl b/src/repl.jl index 8d07e5f..99c9f60 100644 --- a/src/repl.jl +++ b/src/repl.jl @@ -681,6 +681,7 @@ prev_prefix = "" function promptf() global user + # FIXME: If chatthing with peer, use the peer's name, else nothing return string(user.userid, "> ") end