+ if (ots.terminateCommand()) {
+ if ((c == ' ' || c == '\0' || c == '\n') && !isprotected)
+ // A space or line break follows. Terminate with brackets.
+ otrs << "{}";
+ else if (c != '\\' && c != '{' && c != '}')
+ // Non-terminating character follows. Terminate with space.
+ otrs << " ";
+ ots.terminateCommand(false);
+ }