juji-io / datalevin

A simple, fast and versatile Datalog database
https://github.com/juji-io/datalevin
Eclipse Public License 1.0
1.14k stars 63 forks source link

show-clients error #278

Open huahaiy opened 2 weeks ago

huahaiy commented 2 weeks ago

start server with dtlv serv get-conn from my app (for a normal user) create a new client from dtlv repl (for datalevin user) execute (show-clients ...) 2 times

(def dc (new-client "dtlv://datalevin:datalevin@localhost"))

'user/dc

(show-clients dc) {#uuid "5beabc6e-6bae-42b8-b683-1a0e6750d553" {:ip "/127.0.0.1", :username "datalevin", :roles [:datalevin.role/datalevin], :permissions [[:datalevin.server/control :datalevin.server/server] [:datalevin.server/create :datalevin.server/database "foxcub"] [:datalevin.server/create :datalevin.server/database "foxcub"]], :open-dbs {"foxcub" {:datalog? true, :dbis #{}}}}, #uuid "a2e25e6c-03fb-403a-aa34-52ab9389f715" {:ip "/127.0.0.1", :username "datalevin", :roles [:datalevin.role/datalevin], :permissions [[:datalevin.server/control :datalevin.server/server] [:datalevin.server/create :datalevin.server/database "foxcub"] [:datalevin.server/create :datalevin.server/database "foxcub"]], :open-dbs {}}, #uuid "102a48a1-e522-4318-829c-d117797cf18b" {:ip "/127.0.0.1", :username "lava", :roles [:datalevin.role/lava], :permissions [[:datalevin.server/view :datalevin.server/role nil] [:datalevin.server/alter :datalevin.server/user "lava"] [:datalevin.server/alter :datalevin.server/database "foxcub"]], :open-dbs {"foxcub" {:datalog? true, :dbis #{}}}}} (show-clients dc) Request to Datalevin server failed: "datalevin.datom.Datom cannot be cast to java.lang.Comparable" user>

huahaiy commented 1 week ago

Unable to reproduce here.