Server IDs can be non-numeric

diff --git a/servers/servers-lib.pl b/servers/servers-lib.pl
index 9db539d..8483890 100644 (file)
--- a/servers/servers-lib.pl
+++ b/servers/servers-lib.pl
@@ -14,7 +14,7 @@ sub list_servers
 local ($f, @rv);
 opendir(DIR, $module_config_directory);
 while($f = readdir(DIR)) {
-       if ($f =~ /^(\d+)\.serv$/) {
+       if ($f =~ /^(\S+)\.serv$/) {
                push(@rv, &get_server($1));
                }
        }