Changeset 37 in code

Timestamp:

Nov 26, 2022, 11:16:50 AM (2 years ago)

Author:

fox

Message:

Partially matching ID queries

File:

• trunk/lib/archive.ml (modified) (1 diff)

trunk/lib/archive.ml

@@ -6 +6 @@
 
 let ided query_string =
-        fun n -> n.Text.id = query_string
+        let len = String.length query_string in
+        fun n ->
+                try String.sub n.Text.id 0 len = query_string
+                with Invalid_argument _ -> false
 
 let keyworded query_string =