genode/tool/run/log.inc

8 lines
124 B
PHP
Raw Normal View History

2015-01-08 22:08:48 +01:00
##
# Get the spawn_id of the output process
#
proc output_spawn_id { } {
global output_spawn_id
return $output_spawn_id
}