Changes between Version 17 and Version 18 of PlugIns/HTML/htmlmonitor


Ignore:
Timestamp:
11/15/16 14:50:21 (8 years ago)
Author:
pharms
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PlugIns/HTML/htmlmonitor

    v17 v18  
    99== Installation of the Monitor == 
    1010 
    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. 
     11To 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 an installed Java Runtime Environment version 1.7 or higher. 
    1212 
    1313Afterwards, the tar-file needs to be extracted to a preferred location. The resulting folder structure will look as follows: