#!/bin/csh
set arch=IDSS*.zip
if (-e "$arch") then
  if (!(-e runserver)) then
    unzip $arch
  endif
  ./runserver -init
else
  echo Error: Distribution archive \"IDSS\*.zip\" not found.
endif
