summaryrefslogtreecommitdiff
path: root/play.js
diff options
context:
space:
mode:
Diffstat (limited to 'play.js')
-rw-r--r--play.js2
1 files changed, 1 insertions, 1 deletions
diff --git a/play.js b/play.js
index 0477792..241ce49 100644
--- a/play.js
+++ b/play.js
@@ -48,7 +48,7 @@ let ui = {
present: new Set(),
}
-create_log_entry = function (text) {
+function on_log(text) {
let p = document.createElement("div");
text = text.replace(/&/g, "&");
text = text.replace(/</g, "&lt;");