Merge branch 'pgadmin4.xml' into 'master'

Pgadmin4.xml

See merge request !42

packages/pgadmin4.xml

+<?xml version="1.0" encoding="UTF-8"?>
+<!--  vim: set softtabstop=3: -->
+<packages:packages xmlns:packages="http://www.wpkg.org/packages">
+
+  <package id="pgadmin4" name="pgAdmin 4" revision="%version%.1" priority="50" reboot="false">
+
+  <variable name="majorversion" value="4" />
+  <variable name="minorversion" value="19" />
+  <variable name="version" value="%majorversion%.%minorversion%" />
+
+  <depends package-id="vs2013x86runtime" />
+
+  <check type="uninstall" condition="exists" path="pgAdmin 4 version %version%" />
+
+  <install cmd='%wpkgsoftware%\pgadmin\pgadmin4-%version%-x86.exe /SP- /VERYSILENT /SUPPRESSMSGBOXES /NORESTART' />
+  <install cmd='cmd /c copy "%WPKGSHAREBASE%\%WPKGINSTITUTION%-config\pgadmin\config_local.py" "%programfileswpkg%\pgadmin 4\v%majorversion%\web\"' >
+    <condition>
+      <check type="file" condition="exists" path="%WPKGSHAREBASE%\%WPKGINSTITUTION%-config\pgadmin\config_local.py" />
+    </condition>
+  </install>
+
+  <upgrade include='remove' />
+  <upgrade include='install' />
+
+  <!-- remove our config file: the uninstaller does not, and thus also leaves the directory tree behind -->
+  <remove cmd='cmd /c if exist "%programfileswpkg%\pgadmin 4\v%majorversion%\web\config_local.py" del "%programfileswpkg%\pgadmin 4\v%majorversion%\web\config_local.py"'>
+    <exit code='any'/>
+  </remove>
+  <remove cmd='"%programfileswpkg%\pgadmin 4\v%majorversion%\unins000.exe" /VERYSILENT /SP- /NORESTART' />
+
+  </package>
+  
+</packages:packages>