This should get the additional PACKAGE_PATH loaded up into the correc…

…t spot.
idris-community · Mar 10, 2024 · 1ff6f10 · 1ff6f10
1 parent a185010
commit 1ff6f10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Server/Main.idr b/src/Server/Main.idr
@@ -175,7 +175,7 @@ startServer =
                    Nothing => pure ()
               pdirs <- coreLift $ idrisGetEnv "IDRIS2_PACKAGE_PATH"
               the (Core ()) $ case pdirs of
-                   Just path => do traverseList1_ addPackageDir (map trim (split (==pathSeparator) path))
+                   Just path => do traverseList1_ addPackageSearchPath (map trim (split (==pathSeparator) path))
                    Nothing => pure ()
               cg <- coreLift $ idrisGetEnv "IDRIS2_CG"
               the (Core ()) $ case cg of