rename to

Author: stumash

code/Server/Server/RMI/RMIMiddlewareResourceManager.java

@@ -4,7 +4,6 @@
 import Server.Common.*;
 
 import java.rmi.NotBoundException;
-import java.util.*;
 
 import java.rmi.registry.Registry;
 import java.rmi.registry.LocateRegistry;
@@ -14,7 +13,7 @@
 
 public class RMIMiddlewareResourceManager extends MiddlewareResourceManager {
     private static String s_serverName = "MiddlewareServer";
-    //TODO: REPLACE 'ALEX' WITH YOUR GROUP NUMBER TO COMPILE
+
     private static String s_rmiPrefix = "group25_";
 
     public static void main(String args[]) {

code/Server/kill_rmi_servers.sh

@@ -0,0 +1,5 @@
+# kill all RMIXXXResourceManagers
+ps aux | egrep 'java .*RMI.*Manager' | grep $(whoami) | grep -v 'grep' | awk '{print $2}' | xargs kill
+
+# kill all rmiregistries
+ps aux | egrep 'rmiregistry' | egrep $(whoami) | grep -v 'grep' | awk '{print $2}' | xargs kill