diff --git a/server/src/main/java/org/prlprg/session/GNURSession.java b/server/src/main/java/org/prlprg/session/GNURSession.java index 90042ef5..4989e80d 100644 --- a/server/src/main/java/org/prlprg/session/GNURSession.java +++ b/server/src/main/java/org/prlprg/session/GNURSession.java @@ -118,10 +118,12 @@ public void loadPackage(String name, String version) { DESCRIPTION description = getDescription(name); String installedVersion = description.getVersion(); - // if (!version.equals(installedVersion)) { - // throw new RuntimeException( - // "Version mismatch: expected " + version + " but found " + installedVersion); - // } + + // TODO: Handle that better that throwing an error. + if (!version.equals(installedVersion)) { + throw new RuntimeException( + "Version mismatch: expected " + version + " but found " + installedVersion); + } // Use suggests and imports as needed var suggests = description.getSuggests();