#!/bin/bash -

# Only do this on Rich's laptop.
if [ "$LOGNAME" = "rjones" ]; then
    fusermount -u $talkdir/6200-vddk.d/mp >& /dev/null
    sleep 0.5
    killall nbdkit >& /dev/null
fi

exit 0