ship._service();
}
+ public void dumpMem() {
+ for(int i=0; i<mem.length; i++) {
+ if ((i%10)==0) Log.println(" ");
+ Log.print(mem[i] + " ");
+ }
+ }
+
public Ship.Inbox getInbox(String ship, String port) {
Ship s = ships.get(ship);
if (s == null) throw new RuntimeException("unknown ship \""+ship+"\"");