fixed procedure

webyrd · Aug 16, 2023 · b3615c7 · b3615c7
1 parent 6b5f6e6
commit b3615c7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/medikanren2/neo/neo-server/neo-server-utils.rkt b/medikanren2/neo/neo-server/neo-server-utils.rkt
@@ -128,7 +128,7 @@
   (let ((pubs (or (get-assoc "publications" props)
                   (get-assoc "supporting_publications" props)
                   (get-assoc "publications:string[]" props))))
-    (if pubs
+    (if (and pubs (not (equal? "()" pubs)))
         (max (length (string-split pubs "|")) (length (string-split pubs "; ")) (length (string-split pubs)))
         0)))
 

diff --git a/medikanren2/neo/neo-server/neo-server.rkt b/medikanren2/neo/neo-server/neo-server.rkt
@@ -29,7 +29,7 @@
 
 (define DEFAULT_PORT 8384)
 
-(define NEO_SERVER_VERSION "1.26")
+(define NEO_SERVER_VERSION "1.27")
 
 ;; Maximum number of results to be returned from *each individual* KP,
 ;; or from mediKanren itself.