Index: xotcl/apps/scripts/pinger.xotcl =================================================================== diff -u -rf7894d9be99a8da3a04218abcdb9bd46b6d625c8 -r68186bc5f70db1c5133661eedb1b38023c9a49cd --- xotcl/apps/scripts/pinger.xotcl (.../pinger.xotcl) (revision f7894d9be99a8da3a04218abcdb9bd46b6d625c8) +++ xotcl/apps/scripts/pinger.xotcl (.../pinger.xotcl) (revision 68186bc5f70db1c5133661eedb1b38023c9a49cd) @@ -1,4 +1,4 @@ -#$Id: pinger.xotcl,v 1.1 2004/05/23 22:50:39 neumann Exp $ +#$Id: pinger.xotcl,v 1.1.1.1 2004/05/23 22:50:39 neumann Exp $ # include the pattern source observer.xotcl