Commit f728b155 authored by Pietro Braghieri's avatar Pietro Braghieri
Browse files


parent 39895c50
......@@ -347,11 +347,9 @@ JAVA_OPTS="$JAVA_OPTS -Deu.fbk.verification.tool.mathsat=$TOOLS4OSLC_DIR/mathsat
##### Production (remote)
* the production web server is already in place at ``
* the configuration file: `/data/tomcat/instance1/bin/`. Here are set the environment variables.
* the es tools location: `/home/esuser/tools`
* to start tomcat: `sudo systemctl start tomcat-instance1`
* the admin url is: ``
* descrivere dove si trova (, ssh-key, installation dir) e dove sono si tools
* install/update the OSLC Service Provider via maven `mvn clean install -P <EclipseVersion>,<JavaVersion>,PublicEnvironment`
#### Add/Update the Analysis Tools on the Web Server
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment