#!/bin/sh
echo "Client ID: $1" >> /proj/wais/server2.log
/proj/wais/latest/bin/waisserver -s -d /proj/wais/wais-sources -e /proj/wais/server2.log