2018-12-31 14:07:55 +02:00
|
|
|
//! A stub for Ctrl + C handling.
|
|
|
|
|
|
|
|
|
|
pub fn interrupted() -> bool {
|
2019-01-04 11:01:24 +02:00
|
|
|
false
|
2018-10-17 14:07:58 +03:00
|
|
|
}
|
|
|
|
|
|
2018-12-31 14:07:55 +02:00
|
|
|
pub fn unset_interrupted() {}
|
2018-10-17 14:07:58 +03:00
|
|
|
|
|
|
|
|
pub fn set_handler() {}
|