1   $ filterlog () {

     2   $ filterlog () {

     2   >   sed -e 's!^[0-9/]* [0-9:]* ([0-9]*)>!YYYY/MM/DD HH:MM:SS (PID)>!'

     3   >   sed -e 's!^[0-9/]* [0-9:]* ([0-9]*)>!YYYY/MM/DD HH:MM:SS (PID)>!'

     3   > }

     4   > }

     4 

     5 

     5 ensure that failing ui.atexit handlers report sensibly

     6 ensure that failing ui.atexit handlers report sensibly