#!/bin/bash
BIN=`dirname $0`
# checks a single file
echo -e "loadFile $1\n OS.exit" | $BIN/twelf-server