Changes between Version 4 and Version 5 of PetascopeEmbedded


Ignore:
Timestamp:
Dec 18, 2015 1:28:15 PM (22 months ago)
Author:
pbaumann
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PetascopeEmbedded

    v4 v5  
    1616''' Stop:''' The petascope/jetty service gets stopped by `stop_rasdaman.sh`  *if* it has been started through `start_rasdaman.sh`. When started independently, petascope will have to be stopped independently.
    1717
    18 == How to change port? ==
     18== How to Change the Port ==
    1919
    2020By default, jetty uses port 8080. This can be changed by editing the petascope configuration file, `$RMANHOME/etc/petascope.properties`.
     
    2525Change this to the desired port, save the file, and restart jetty.
    2626
    27 == How to change the petascope extraction folder? ==
     27== How to Change the Extraction Folder? ==
    2828
    2929By default, jetty extracts files from `rasdaman.war` and `def.war` (~100 MB) into `$RMANHOME/share/rasdaman/war/jetty_tmp`. This directory can be changed as follows.