Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-06 13:47:38 -0700 (Tue, 06 Jun 2006)
Revision: 9258
Log message:

      "cmd_argv = []" no longer indicates an "empty" command, so commands with an
      empty cmd_argv should no longer be ignored.
      
      P.S. Should cmd_argv be renamed into cmd_args to emphasize that it does not
      include the executable itself?