| ... |
... |
@@ -23,9 +23,9 @@ |
| 23 |
23 |
|
| 24 |
24 |
Alternatively (after you configured the port) you can start the KiCo TCP Server via command line: |
| 25 |
25 |
|
| 26 |
|
-{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit}}} |
|
26 |
+{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>]}}} |
| 27 |
27 |
|
| 28 |
|
-This will start a background process with the KIELER Compiler TCP Server. |
|
28 |
+This will start a background process with the KIELER Compiler TCP Server. Optionally you can specify a (new) listening port for the TCP server using "-p <port>" or "–port <port>",e.g. "-p 5555". |
| 29 |
29 |
|
| 30 |
30 |
== Using the KielerCompiler from Console == |
| 31 |
31 |
|