add regex matching back to server_info

Zsailer · Zsailer · commit bb6f2448e9f2 · 2019-09-25T17:09:57.000-07:00
diff --git a/jupyter_server/serverapp.py b/jupyter_server/serverapp.py
@@ -1736,7 +1736,7 @@ def list_running_servers(runtime_dir=None):
         return
 
     for file_name in os.listdir(runtime_dir):
-        if file_name.startswith('jpserver-'):
+        if re.match('jpserver-(.+).json', file_name):
             with io.open(os.path.join(runtime_dir, file_name), encoding='utf-8') as f:
                 info = json.load(f)
 
