diff options
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/resources/profile.json | 11 | ||||
-rw-r--r-- | src/main/resources/profile.json.template | 11 |
2 files changed, 11 insertions, 11 deletions
diff --git a/src/main/resources/profile.json b/src/main/resources/profile.json deleted file mode 100644 index 19308cc..0000000 --- a/src/main/resources/profile.json +++ /dev/null @@ -1,11 +0,0 @@ -{ - "stdin_port": 48601, - "control_port": 48602, - "hb_port": 48605, - "shell_port": 48603, - "iopub_port": 48604, - "ip": "9.125.72.72", - "transport": "tcp", - "signature_scheme": "hmac-sha256", - "key": "" -}
\ No newline at end of file diff --git a/src/main/resources/profile.json.template b/src/main/resources/profile.json.template new file mode 100644 index 0000000..b473a4d --- /dev/null +++ b/src/main/resources/profile.json.template @@ -0,0 +1,11 @@ +{ + "stdin_port": 48701, + "control_port": 48702, + "hb_port": 48705, + "shell_port": 48703, + "iopub_port": 48704, + "ip": "9.125.72.72", + "transport": "tcp", + "signature_scheme": "hmac-sha256", + "key": "" +}
\ No newline at end of file |