File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -214,13 +214,13 @@ pub struct Options {
214214 ) ]
215215 pub never_abort : bool ,
216216
217- /// Timeout time per mod in seconds, default is 1 hour or 3 hours if batch_mode
217+ /// Timeout time per mod in seconds, default is 3 hours or 9 if batch mode
218218 #[ clap(
219219 env,
220220 short,
221221 long,
222- default_value = "3600 " ,
223- default_value_if( "batch_mode" , ArgPredicate :: IsPresent , "10800 " )
222+ default_value = "10800 " ,
223+ default_value_if( "batch_mode" , ArgPredicate :: IsPresent , "32400 " )
224224 ) ]
225225 pub timeout : usize ,
226226
Original file line number Diff line number Diff line change @@ -128,13 +128,16 @@ fn handle_result(
128128 log:: debug!( "Weidu exit status: {exit}" ) ;
129129 result
130130 } ,
131- Ok ( None ) if retry < 3 => {
131+ Ok ( None ) if retry < 5 => {
132132 log:: debug!( "Weidu not finished, sleeping then retrying, retry attempt number {retry}" ) ;
133133 sleep ( options. tick ) ;
134134 handle_result ( child, options, result, retry + 1 )
135135 } ,
136136 Ok ( None ) => {
137137 log:: warn!( "Weidu not finished, exiting anyway" ) ;
138+ if let Some ( stdin) = child. stdin {
139+ drop ( stdin) ;
140+ }
138141 result
139142 } ,
140143 Err ( err) => {
You can’t perform that action at this time.
0 commit comments