#! /usr/bin/csh  -f

#set environment variables for WinWin

setenv WINWIN_SERVER_HOST sunset
setenv WINWIN_SERVER_PORT 4678
setenv WINWINHOST $WINWIN_SERVER_HOST
setenv WINWINHOME /usr/cse04/WinApplet/sol
setenv WINWINDATA $WINWINHOME/winwin
umask 002 
 
#set environment variables for Java WinWin
 
setenv JWINWINDATA /usr/cse04/WinApplet/winwin
setenv HTTP_SERVER_ROOT /usr/cse04/httpd_1.3/htdocs

# create JWINWINDATA directory, if not exist.
if(! -d ${JWINWINDATA}) then
        mkdir ${JWINWINDATA}
        chmod 755 ${JWINWINDATA}
endif
 
# run virtual winwin

$WINWINHOME/bin/vwinwin $* &