Revision 64c451e0
| ID | 64c451e01f6409cbf831712ecb53aa695261d8c7 |
| Parent | e34cd9a6 |
| Child | 31b43002 |
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.
Files
- added
- modified
- copied
- renamed
- deleted