!	 $eterna: timer,v 1.8 2018/06/10 08:17:37 mrg Exp $
!
! Copyright (c) 1990-2018  Michael Sandrof, Troy Rollo, Matthew Green,
! and other ircII contributors.
!
! All rights reserved.  See the HELP IRCII COPYRIGHT file for more
! information.
!
Usage: TIMER [-refnum <num>] [-delete <num>] <seconds> [<command>]
  Waits for the given number of seconds and then executes the
  command.  This is done without hindering normal operation of
  the client.  Any number of TIMERs can be set at once, and
  all will activate at the appropriate time.
    TIMER with arguments will list pending TIMERs.
    TIMER -refnum <num>
  will assign a specific number to that action allowing you
  to delete it later if necessary with
    TIMER -delete <num>
  If no refnum is specified, one is automatically assigned.
  Example:
    /timer 5.3 echo test
  Echoes "test" after 5.3 seconds.
  Notice about escaping:
    If you want multiple commands in your timer, you
    must separate them with semicolon (;).
    In script, that would be:
      timer 5 echo test1\;echo test2
    This is the same as with /on, /alias and all other
    commands that take a command parameter.