| ... |
... |
@@ -40,9 +40,9 @@ |
| 40 |
40 |
|
| 41 |
41 |
Alternatively (after you configured the port) you can start the KiCo TCP Server via command line: |
| 42 |
42 |
|
| 43 |
|
-{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>]}}} |
|
43 |
+{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit [-p <port>] [-d]}}} |
| 44 |
44 |
|
| 45 |
|
-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". |
|
45 |
+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". The option -d or ~-~-debug enables the debug mode with verbose debug output messages. |
| 46 |
46 |
|
| 47 |
47 |
|
| 48 |
48 |
|