From d54e9e4bef1aafe3ad2589d00461cf745987c428 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Se=C3=A1n=20Healy?= Date: Sat, 31 Oct 2026 19:02:01 +0000 Subject: [PATCH] Fix server. --- server.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server.pl b/server.pl index ce64c5a..bb49066 100755 --- a/server.pl +++ b/server.pl @@ -40,7 +40,7 @@ script_name(ScriptName) --> {atom_codes(ScriptName, [FirstChar|RemainingChars])}. script_name_chars([Char|Chars]) --> [Char], - {char_type(Char, alnum); Char = '_'}, + {char_type(Char, alnum); Char = '_'; Char = '-'}, script_name_chars(Chars). script_name_chars([]) --> []. condition(Condition, Level) -->