Issue #564: curl behaves better than wget

scripts/dbexport

@@ -1,10 +1,10 @@
 #!/bin/bash
 SERVER="localhost:8080"
-AUTH="--user=admin --password=admin"
+AUTH="admin:admin"
 
 DIR=backup-$(date +"%Y%m%d-%H%M%S")
 mkdir -p $DIR
 
 for db in config users areas gateways multicast_channels networks groups profiles devices nodes ignored_nodes handlers connectors; do
-    wget -4nv $AUTH --output-document=$DIR/$db.json http://$SERVER/api/$db
+    curl --digest -u $AUTH --output $DIR/$db.json http://$SERVER/api/$db
 done

scripts/dbimport

@@ -1,6 +1,6 @@
 #!/bin/bash
 SERVER="localhost:8080"
-AUTH="--user=admin --password=admin"
+AUTH="admin:admin"
 
 if [ -z "$1" ]; then
     DIR="."
@@ -9,5 +9,5 @@ else
 fi
 
 for f in $DIR/*.json; do
-    wget -4nv $AUTH --header=Content-Type:application/json --post-file=$f http://$SERVER/api/$(basename $f .json)
+    curl --digest -u $AUTH --header Content-Type:application/json --data @$f http://$SERVER/api/$(basename $f .json)
 done