diff options
Diffstat (limited to 'server/etc/pracrod.conf')
-rw-r--r-- | server/etc/pracrod.conf | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/server/etc/pracrod.conf b/server/etc/pracrod.conf deleted file mode 100644 index 5fb7494..0000000 --- a/server/etc/pracrod.conf +++ /dev/null @@ -1,7 +0,0 @@ -port = 12345; - -journal_commit_addr = "localhost"; -journal_commit_port = 18112; - -artefact_addr = "localhost"; -artefact_port = 11108; |