139140141142143144145146
Opt o = getOpt( "Timeout" ); if (o == null) return 0; Timeout t = (Timeout) o; return t.timeout(); }