CLIPS_VIRTUOSO_TIMEOUT
CLIPS_VIRTUOSO_TIMEOUT "x_time"
Description
Specifies the maximum duration for which CLIPS can attempt to connect to a Virtuoso session.
Possible values are any integer between 4 and 999 (seconds)
Examples
setenv CLIPS_VIRTUOSO_TIMEOUT "50"
Return to top