- # XXX: buffer all output and send it at the end
- # XXX: even better, redirect to appropriate page
- # depending on what command was run
+ // XXX: buffer all output and send it at the end
+ // XXX: even better, redirect to appropriate page
+ // depending on what command was run