#!/bin/sh
#
# Copyright (C) 1995  Lars Berntzon
#
server=`df / 2>/dev/null | sed -n -e 's/.*(//' -e '\%:/%s/:.*//p'`
test -z "$server" || echo $server
