#!/bin/sh
basexserver "$@" stop
