PubMan 7 12 1

This page shall contain every change that is made during a qa release of the version mentioned above. If it's not here, it never happened!

= PubMan 7.12.1 Release =

PidManager

 * gepatches pidmanager.war nach /usr/share/jboss/server/default/deploy kopieren

PubMan EAR

 * wget http://rd.mpdl.mpg.de/nexus/service/local/repositories/releases/content/de/mpg/escidoc/pubman/wildfly/pubman_ear/7.12.1/pubman_ear-7.12.1-pure.ear
 * explode ear, chown recursiv

PubMan Properties
escidoc.pid.gwdg.service.url=http://vm04.pid.gwdg.de:8081/handles/ escidoc.pid.gwdg.service.suffix=21.T11998 escidoc.pid.gwdg.timeout=4 escidoc.pid.gwdg.user.login=mpdlpid escidoc.pidcache.user.password=XXXXXXXXXX
 * /usr/share/pubman/modules/pubman/main/pubman.properties:

PubMan PidCache
cd /usr/share/pubman/standalone/data/pubman_db rm -rf *
 * remove old cache containing pids from old GWDG pid server before (import logs sind in postgres und nicht in h2 db!)
 * build new cache with pids from new GWDG pid server: set escidoc.pidcache.refresh.interval to 10 sec temporarily till cache is full