Summary

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

Details

Page properties

Content

...	...	@@ -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 [-p <port>]}}}
	26	+{{{kieler -application de.cau.cs.kieler.kico.web.server -noExit}}}
27	27
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".
	28	+This will start a background process with the KIELER Compiler TCP Server.
29	29
30	30	== Using the KielerCompiler from Console ==
31	31

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-9470936
	1	+9470934

URL

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