20 lines
703 B
Plaintext
20 lines
703 B
Plaintext
##! Interface for the raw input reader.
|
|
|
|
module InputRaw;
|
|
|
|
export {
|
|
## Separator between input records.
|
|
## Please note that the separator has to be exactly one character long.
|
|
const record_separator = "\n" &redef;
|
|
|
|
## Event that is called when a process created by the raw reader exits.
|
|
##
|
|
## name: name of the input stream.
|
|
## source: source of the input stream.
|
|
## exit_code: exit code of the program, or number of the signal that forced
|
|
## the program to exit.
|
|
## signal_exit: false when program exited normally, true when program was
|
|
## forced to exit by a signal.
|
|
global process_finished: event(name: string, source:string, exit_code:count, signal_exit:bool);
|
|
}
|