Summary

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

Details

Page properties

Content

...	...	@@ -117,8 +117,10 @@
117	117	yarn && cd keith-app && yarn run socket
118	118	{{/code}}
119	119
120		-\\
	120	+Per default the KEITH opens on localhost:3000.
121	121
	122	+It is required to restart the language server if KEITH is restarted, sicne the diagram view has a problem (since theia-sprotty is used) to reconnect after that.
	123	+
122	122	== Setting up your eclipse ==
123	123
124	124	For everything not mentioned here refer to [[Configuring Eclipse>>doc:KIELER.Configuring Eclipse||shape="rect"]] guide.
...	...	@@ -125,10 +125,22 @@
125	125
126	126	Use the installer go to advanced mode, add the kieler url. Then select first pragmatics and after that semantics (that is very important).
127	127
128		-Select the Theia stream for both of them and use the latest eclipse if possible. Set the targetplatform to photon and finish. TODO
	130	+Select the Theia stream for both of them and use the latest eclipse if possible. Set the targetplatform to photon and finish.
129	129
130		-\\
	132	+Wait till everything installs and the setup tasks finish. If you have any problems in this stage refer to the [[Configuring Eclipse>>doc:KIELER.Configuring Eclipse||shape="rect"]] guide.
131	131
132	132	\\
133	133
	136	+The setup tasks might fail. Disable Modular Target and Theia Target (Theia Target2 is the right target) and repeat them.
	137	+
	138	+To run the language server go to //Run Configurations// create a new //eclipse application// run configuration and select //Run an application//  and //de.cau.cs.kieler.language.server.LanguageServer//
	139	+
	140	+== [[image:attach:Screenshot from 2019-02-15 14-10-50.png]] ==
	141	+
134	134	\\
	143	+
	144	+You have to edit the arguments too. The Vm arguments host and port are added to connect the LS via socket.
	145	+
	146	+[[image:attach:Screenshot from 2019-02-15 14-13-34.png]]
	147	+
	148	+The default port to which KEITH tries to connect is 5007.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-54198532
	1	+54198533

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/54198532/Running KEITH
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/54198533/Running KEITH