Merge branch 'main' of git.seanhealy.ie:sean/query-ci

Fix server.
2026-10-31 19:02:28 +00:00 · 2026-10-31 19:02:01 +00:00
1 changed files with 1 additions and 1 deletions
--- a/server.pl
+++ b/server.pl
@@ -41,7 +41,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) -->
Author	SHA1	Message	Date
Seán Healy	09acdba1d9	Merge branch 'main' of git.seanhealy.ie:sean/query-ci	2026-10-31 19:02:28 +00:00
Seán Healy	d54e9e4bef	Fix server.	2026-10-31 19:02:01 +00:00