Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -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

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9470956
	1	+9470957

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470956/KIELER Compiler Console
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9470957/KIELER Compiler Console