##! 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 exitted 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);
}