From 982e73d148bf45d2188a9d2ed25302e05f9b581a Mon Sep 17 00:00:00 2001
From: Obique <obique.pswg@gmail.com>
Date: Mon, 16 Feb 2015 20:37:23 -0600
Subject: [PATCH] Clean up the CoreManager ResultSet

---
 src/services/CoreManager.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/services/CoreManager.java b/src/services/CoreManager.java
index d36554e6d..53804af35 100644
--- a/src/services/CoreManager.java
+++ b/src/services/CoreManager.java
@@ -177,6 +177,7 @@ public class CoreManager extends Manager {
 			ResultSet set = getGalaxy.executeQuery();
 			if (!set.next()) {
 				System.err.println("CoreManager: No such galaxy exists with ID " + galaxyId + "!");
+				set.close();
 				return null;
 			}
 			Galaxy g = new Galaxy();