changeset 233:c8c8c447b2b3

tweak
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Tue, 21 Jan 2020 20:54:40 +0900
parents 68b5958179d0
children 05c0b1649ca7
files src/main/java/christie/remotingTextEditor/GetOpponentMessage.java src/main/java/christie/remotingTextEditor/StartManToManSession.java src/main/java/christie/remotingTextEditor/StartManToManSession.java.orig src/main/java/christie/remotingTextEditor/StartManToManSession.java.rej
diffstat 4 files changed, 16 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/src/main/java/christie/remotingTextEditor/GetOpponentMessage.java	Tue Jan 21 19:49:40 2020 +0900
+++ b/src/main/java/christie/remotingTextEditor/GetOpponentMessage.java	Tue Jan 21 20:54:40 2020 +0900
@@ -10,6 +10,10 @@
 
 public class GetOpponentMessage extends CodeGear {
     @Take
+    int offset;
+
+    @Take
+    String string;
     Message offset;
 
     @Peek
--- a/src/main/java/christie/remotingTextEditor/StartManToManSession.java	Tue Jan 21 19:49:40 2020 +0900
+++ b/src/main/java/christie/remotingTextEditor/StartManToManSession.java	Tue Jan 21 20:54:40 2020 +0900
@@ -12,9 +12,8 @@
     }
 
     public static void main(String[] args){
-        //ポート番号10000~1000xはone上では他のライブラリに使われている。(Net.javaにつかわれている?)
-        int TopologyManagerPort = 10100;
-        int TopologyNodePort = 10101;
+        int TopologyManagerPort = 10000;
+        int TopologyNodePort = 10001;
 
         String[] managerArg = {"--localPort", String.valueOf(TopologyManagerPort), "--confFile", "scripts/Log/manToMan.dot"};
 
--- a/src/main/java/christie/remotingTextEditor/StartManToManSession.java.orig	Tue Jan 21 19:49:40 2020 +0900
+++ b/src/main/java/christie/remotingTextEditor/StartManToManSession.java.orig	Tue Jan 21 20:54:40 2020 +0900
@@ -12,8 +12,8 @@
     }
 
     public static void main(String[] args){
-        int TopologyManagerPort = 10100;
-        int TopologyNodePort = 10101;
+        int TopologyManagerPort = 10000;
+        int TopologyNodePort = 10001;
 
         String[] managerArg = {"--localPort", String.valueOf(TopologyManagerPort), "--confFile", "scripts/Log/manToMan.dot"};
 
--- a/src/main/java/christie/remotingTextEditor/StartManToManSession.java.rej	Tue Jan 21 19:49:40 2020 +0900
+++ b/src/main/java/christie/remotingTextEditor/StartManToManSession.java.rej	Tue Jan 21 20:54:40 2020 +0900
@@ -1,16 +1,17 @@
 ***************
-*** 13,19 ****
+*** 12,17 ****
+      }
   
       public static void main(String[] args){
           //ポート番号10000~1000xはone上では他のライブラリに使われている。(Net.javaにつかわれている?)
--         int TopologyManagerPort = 10100;
+          int TopologyManagerPort = 10100;
           int TopologyNodePort = 10101;
-  
-          String[] managerArg = {"--localPort", String.valueOf(TopologyManagerPort), "--confFile", "scripts/Log/manToMan.dot"};
---- 13,18 ----
+--- 12,19 ----
+      }
   
       public static void main(String[] args){
++         int TopologyManagerPort = 10000;
++         int TopologyNodePort = 10001;
           //ポート番号10000~1000xはone上では他のライブラリに使われている。(Net.javaにつかわれている?)
+          int TopologyManagerPort = 10100;
           int TopologyNodePort = 10101;
-  
-          String[] managerArg = {"--localPort", String.valueOf(TopologyManagerPort), "--confFile", "scripts/Log/manToMan.dot"};