45c45
< "$Id: leave.c,v 1.2 1997/07/21 12:04:31 charnier Exp $";
---
> "$Id: leave.c,v 1.3 1998/01/06 17:27:09 helbig Exp $";
155c155,156
< secs -= 2;
---
> if (secs >= 2)
> secs -= 2;
< "$Id: leave.c,v 1.2 1997/07/21 12:04:31 charnier Exp $";
---
> "$Id: leave.c,v 1.3 1998/01/06 17:27:09 helbig Exp $";
155c155,156
< secs -= 2;
---
> if (secs >= 2)
> secs -= 2;