#!/bin/bash

echo "begin globaldump"

curl 127.0.0.1:12701/globaldump