Changes between Version 16 and Version 17 of PlugIns/HTML/htmlmonitor
- Timestamp:
- 12/05/14 13:23:41 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
PlugIns/HTML/htmlmonitor
v16 v17 9 9 == Installation of the Monitor == 10 10 11 To install the monitor, it must first be downloaded. As AutoQUEST is under continuous development, it is always good to download the latest tested version from our continous integration environment which is available [https://trex.informatik.uni-goettingen.de/hudson/job/autoquest-htmlmonitor/lastSuccessfulBuild/de.ugoe.cs.autoquest$autoquest-htmlmonitor/ here]. There, just download the autoquest-htmlmonitor-version-bin.tar.gz. 11 To install the monitor, it must first be downloaded. As AutoQUEST is under continuous development, it is always good to download the latest tested version from our continous integration environment which is available [https://trex.informatik.uni-goettingen.de/hudson/job/autoquest-htmlmonitor/lastSuccessfulBuild/de.ugoe.cs.autoquest$autoquest-htmlmonitor/ here]. There, just download the autoquest-htmlmonitor-version-bin.tar.gz. The current versions of the monitor require and installed Java Runtime Environment version 1.7 or higher. 12 12 13 13 Afterwards, the tar-file needs to be extracted to a preferred location. The resulting folder structure will look as follows: