From a2d13b2fa9239dae30b22f713062175c3245d85d Mon Sep 17 00:00:00 2001
From: JKetelaar <jeroen@ketelaar.me>
Date: Wed, 24 Dec 2014 23:47:50 +0100
Subject: [PATCH] Changed from int to string #getMessage

---
 src/org/rev317/min/accessors/Interface.java | 2 +-
 src/org/rev317/min/randoms/Executer.java    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/org/rev317/min/accessors/Interface.java b/src/org/rev317/min/accessors/Interface.java
index a79d7d5..3d07791 100644
--- a/src/org/rev317/min/accessors/Interface.java
+++ b/src/org/rev317/min/accessors/Interface.java
@@ -6,6 +6,6 @@ public interface Interface {
 
     public int[] getStackSizes();
 
-    public int getMessage();
+    public String getMessage();
 
 }
diff --git a/src/org/rev317/min/randoms/Executer.java b/src/org/rev317/min/randoms/Executer.java
index f0b832a..92d55b1 100644
--- a/src/org/rev317/min/randoms/Executer.java
+++ b/src/org/rev317/min/randoms/Executer.java
@@ -1,5 +1,6 @@
 package org.rev317.min.randoms;
 
+import org.parabot.core.Context;
 import org.parabot.core.Core;
 import org.parabot.core.Directories;
 import org.parabot.core.io.ProgressListener;
@@ -33,8 +34,7 @@ public class Executer {
         try {
             URL url = myJar.toURI().toURL();
             URL[] urls = new URL[]{url};
-//            String server = Context.getInstance().getServerProviderInfo().getServerName();
-            String server = "pkhonor";
+            String server = Context.getInstance().getServerProviderInfo().getServerName();
 
             URLClassLoader child = new URLClassLoader(urls, this.getClass().getClassLoader());
             Class<?> classToLoad = Class.forName("org.parabot.randoms.Core", true, child);