mirror of
https://github.com/fish-shell/fish-shell.git
synced 2025-02-23 07:42:12 +08:00
common.rs: remove typedefs that have been ported to elsewhere
In general we should keep the existing structure, to minimize surprise.
This commit is contained in:
parent
8ae1ba3432
commit
bff0caf1d8
@ -960,13 +960,6 @@ pub const fn char_offset(base: char, offset: u32) -> char {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
/// A user-visible job ID.
|
|
||||||
pub type JobId = i32;
|
|
||||||
|
|
||||||
/// The non user-visible, never-recycled job ID.
|
|
||||||
/// Every job has a unique positive value for this.
|
|
||||||
pub type InternalJobId = u64;
|
|
||||||
|
|
||||||
/// Exits without invoking destructors (via _exit), useful for code after fork.
|
/// Exits without invoking destructors (via _exit), useful for code after fork.
|
||||||
fn exit_without_destructors(code: i32) -> ! {
|
fn exit_without_destructors(code: i32) -> ! {
|
||||||
unsafe {
|
unsafe {
|
||||||
|
@ -126,6 +126,8 @@ fn new_wait_handle_ffi(
|
|||||||
)))
|
)))
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// The non user-visible, never-recycled job ID.
|
||||||
|
/// Every job has a unique positive value for this.
|
||||||
pub type InternalJobId = u64;
|
pub type InternalJobId = u64;
|
||||||
|
|
||||||
/// The bits of a job necessary to support 'wait' and '--on-process-exit'.
|
/// The bits of a job necessary to support 'wait' and '--on-process-exit'.
|
||||||
|
Loading…
x
Reference in New Issue
Block a user