]> WPIA git - gigi.git/commit
upd: allow deletion of ping configurations
authorFelix Dörre <felix@dogcraft.de>
Thu, 26 Nov 2015 11:06:31 +0000 (12:06 +0100)
committerFelix Dörre <felix@dogcraft.de>
Thu, 26 Nov 2015 13:39:16 +0000 (14:39 +0100)
commitceffae33b0339a2ea8708686320ef9d20e7daaea
treed4595b447d8a5f3ec2c2890572cb70d24868bd5e
parenta6ba2227fa82700906ed246f9513405dcecf4ab5
upd: allow deletion of ping configurations
src/org/cacert/gigi/database/DatabaseConnection.java
src/org/cacert/gigi/database/tableStructure.sql
src/org/cacert/gigi/database/upgrade/from_6.sql [new file with mode: 0644]
src/org/cacert/gigi/dbObjects/Domain.java
src/org/cacert/gigi/pages/account/domain/PingConfigForm.java
src/org/cacert/gigi/ping/PingerDaemon.java
src/org/cacert/gigi/ping/SSLPinger.java