« Previous | Next » 

Revision 64c451e0

Parent e34cd9a6
Child 31b43002

Added by Bob Lantz over 11 years ago

Minor bug fixes and tweaks.

Shell now works (although we should use quietRun instead to avoid
file descriptor problem!)

exit/quit/EOF now all exit.

Renamed pingall and pingpair to make them easier to type - I think
commands should not require use of the shift key in general, although
ping-all and ping-pair might be OK.


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences