PubMan 7 13
PubMan 7.13 Release[edit]
Server[edit]
Affected Servers[edit]
Prepare read only system[edit]
Fedora[edit]
Coreservice Apache[edit]
Coreservice JBoss[edit]
Core Infrastructure[edit]
Core Properties[edit]
Core Index Properties[edit]
PidManager[edit]
PubMan EAR[edit]
- wget http://rd.mpdl.mpg.de/nexus/service/local/repositories/releases/content/de/mpg/escidoc/pubman/wildfly/pubman_ear/7.13.0/pubman_ear-7.13.0-pure.ear
- explode ear, chown recursiv
PubMan Properties[edit]
PubMan Apache[edit]
PubMan Wildfly[edit]
PubMan PidCache[edit]
- remove old cache containing pids from old GWDG pid server before (import logs sind in postgres und nicht in h2 db!)
cd /usr/share/pubman/standalone/data/ mv ./pubman_db ./pubman_db_bak mkdir pubman_db chown jboss:jboss pubman_db
- build new cache with pids from new GWDG pid server: set escidoc.pidcache.refresh.interval to 10 sec temporarily till cache is full