You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think here there is an std::process::exit(1); missing. I just had a run with this error but it still exited with error code 0 rather than 1. Version 0.8.0
...returned this error (because I messed up providing the permit files properly) but also the "OK" echo. Can you double-check, I think this should be an exit of 1.
The text was updated successfully, but these errors were encountered:
You're right that the exit code isn't set properly in this case. At some point, we switched from the "historic" unit return type for main (where all non-zero exit codes had to result from a std::process::exit) to the more modern Result<()> return type for main. Some code paths (like this one, I believe) slipped through the cracks. It seems it wants to print the error message, but that doesn't prevent it from returning 0 (i.e. returning Ok(()) from main). I think the right thing to do here is to ensure in this path that we return Err(<appropriate error message here>), which will both show the message and force the exit code to 1.
Hi Rob,
I think here there is an
std::process::exit(1);
missing. I just had a run with this error but it still exited with error code 0 rather than 1. Version 0.8.0...returned this error (because I messed up providing the permit files properly) but also the "OK" echo. Can you double-check, I think this should be an exit of 1.
The text was updated successfully, but these errors were encountered: