next up previous contents
Next: Metasyntax Up: Command Introduction Previous: Spacesquoting, and line-feeds

Options

Many Prospero Protocol commands take options. If multiple options are to be specified for a single command, the options are separated by a ``+''. If no options are specified, then the null string should be sent to indicate this. The null string will need to be quoted, like so: ''



Padma Indraganti
Thu Jun 20 13:02:20 PDT 1996