| ... |
... |
@@ -30,7 +30,7 @@ |
| 30 |
30 |
|
| 31 |
31 |
|
| 32 |
32 |
|
| 33 |
|
-== Enable the HTTP Server == |
|
33 |
+== Enable the KielerCompiler HTTP Server == |
| 34 |
34 |
|
| 35 |
35 |
Before you can use the KielerCompiler.jar from the console, you need to start the KIELER RCA and activate the HTTP Server. This is done using the button at 1. shown in the screenshot below. When pressing it the windows shown at 2. is displayed and allows to enable or disable the server and also to modify the default port of 5555. Whenever the server was enabled and is started, you will see its job running at 3. in the lower region of the KIELER RCA. When you enabled the server in previous runs of the KIELER RCA it will automatically started when you run KIELER again. |
| 36 |
36 |
|
| ... |
... |
@@ -52,7 +52,7 @@ |
| 52 |
52 |
|
| 53 |
53 |
{{{java -jar KielerCompiler.jar <host>:<port> [Options] <transformationID_1> .. <transformationID_n>}}} |
| 54 |
54 |
|
| 55 |
|
-In the above screenshot you see the KielerCompiler options when calling with no/too few parameters. The host or the port are mandatory parameters. By default the port **5555** is used and the default host is **localhost**. If you secify the port you do not need to specify localhost, if you specify the host you do not need to specify 5555. The following options are available: |
|
55 |
+In the above screenshot you see the KielerCompiler options when calling with no/too few parameters. The host or the port are mandatory parameters. By default the port **5555** is used and the default host is **localhost**. If you specify the port you do not need to specify localhost, if you specify the host you do not need to specify 5555. The following options are available: |
| 56 |
56 |
|
| 57 |
57 |
* -f <filename> : Use a specific input file for the main model (and not the console) |
| 58 |
58 |
* -i <filename> : Include additional input files that are referenced by the main model, note that the order for using multiple -i options is important: Use the order -i file1 -i file2 if file1 has references to file2 but file2 has NO references to file1! |