Community
Participate
Working Groups
* associated with the CVSPlugin singleton.
*/
public int getTimeout() {
return CVSProviderPlugin.getPlugin().getTimeout();
return CVSProviderPlugin.getPlugin().getTimeout() * 1000;
}
/*
CVSPreferencesPage_17=D&isplay detailed protocol output to stdout (for debugging purposes)
CVSPreferencesPage_18=R&efresh tags when comparing or replacing tags
CVSPreferencesPage_19=&Connection
CVSPreferencesPage_23=C&onnection timeout:
CVSPreferencesPage_23=C&onnection timeout in seconds:
CVSPreferencesPage_24=Timeout must be positive
CVSPreferencesPage_25=The timeout must be a number
CVSPreferencesPage_26=&Quietness level:
