diff --git a/java/pom.xml b/java/pom.xml --- a/java/pom.xml +++ b/java/pom.xml @@ -44,7 +44,7 @@ it.unimi.dsi webgraph-big - 3.6.7 + 3.7.0 it.unimi.dsi @@ -54,7 +54,7 @@ it.unimi.dsi dsiutils - 2.7.1 + 2.7.2 it.unimi.dsi diff --git a/java/src/main/java/org/softwareheritage/graph/rpc/GraphServer.java b/java/src/main/java/org/softwareheritage/graph/rpc/GraphServer.java --- a/java/src/main/java/org/softwareheritage/graph/rpc/GraphServer.java +++ b/java/src/main/java/org/softwareheritage/graph/rpc/GraphServer.java @@ -46,8 +46,7 @@ /** Load a graph and all its properties. */ public static SwhBidirectionalGraph loadGraph(String basename) throws IOException { - // TODO: use loadLabelledMapped() when https://github.com/vigna/webgraph-big/pull/5 is merged - SwhBidirectionalGraph g = SwhBidirectionalGraph.loadLabelled(basename, new ProgressLogger(logger)); + SwhBidirectionalGraph g = SwhBidirectionalGraph.loadLabelledMapped(basename, new ProgressLogger(logger)); g.loadContentLength(); g.loadContentIsSkipped(); g.loadPersonIds();