fix for includes

misc0110 · misc0110 · commit 7198a4ad74fb · 2022-02-10T17:35:24.000+01:00
diff --git a/client.py b/client.py
@@ -38,7 +38,12 @@
 if not server.endswith("/v1/"): server += "v1/"
 
 def get_keys(filename, import_base=None):
-    content = open(filename).read()
+    try:
+        if not os.path.isfile(filename):
+            filename += ".tex"
+        content = open(filename).read()
+    except:
+        return []
 
     # extract cites
     keys = set()
