export INSTANCE_NAME INSTANCE_HOME INST_HOME CGIBIN_BASE LOG_FILE
export ZOPE_BASE ZOPE_USER NUMBER_OF_THREADS ZOPE_HOME
- export IP_ADDRESS HTTP_PORT FTP_PORT WATCHDOG
+ export IP_ADDRESS HTTP_PORT FTP_PORT WEBDAV_PORT WATCHDOG
export IPC_PORT LOC DEBUG_MODE DETAILED_LOG_FILE
daemon zope-start