Mercurial > hg > Database > Christie
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"};