# $Id$ # # Write remote print messages into local files. event print_hook(f: file, s: string) { if ( is_remote_event() ) print f, s; }