]> WPIA git - gigi.git/commit
upd: factor out ping-delay for domains to constant
authorFelix Dörre <felix@dogcraft.de>
Fri, 17 Jun 2016 15:37:02 +0000 (17:37 +0200)
committerFelix Dörre <felix@dogcraft.de>
Sat, 18 Jun 2016 13:56:20 +0000 (15:56 +0200)
commit12a910cd22e51e077c1192b200149811e3d82eab
tree37f239663c4b2a90c32376c17dcdea4253240d8a
parente783880cab54af438bde147957654cf46f5bd394
upd: factor out ping-delay for domains to constant

Change-Id: Ib7dba946ea9e9d7741c11fe6fb1c143d91e92c72
src/org/cacert/gigi/dbObjects/DomainPingConfiguration.java