diff options
Diffstat (limited to 'src/platform.rs')
| -rw-r--r-- | src/platform.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/platform.rs b/src/platform.rs index 3118966..076308c 100644 --- a/src/platform.rs +++ b/src/platform.rs @@ -33,7 +33,7 @@ pub mod linux; pub use linux::{bootstrap, run, local_time, send_to_raw, is_kernel_filtered_clienthello}; /// pause before exit on windows to print information in console before it is closed. -pub fn paexit(code: i32) { +pub fn paexit(code: i32) -> ! { #[cfg(windows)] pause(); std::process::exit(code); } |