for (int i = 0; str_types[i] != noaction; ++i) {
if (type == str_types[i]) {
- // the first and last characters of the string are quotes, and we need to
- // get rid of them
- assert(str.size() >= 2);
- assert(str[0] == '"');
- assert(str[str.size() - 1] == '"');
-
- _stringParam = str.substr(1, str.size() - 2);
+ _stringParam = str;
return;
}
}
-
+
_numberParam = atoi( str.c_str() );
- if (type == changeWorkspace) // workspace 1 to the user is workspace 0 to us
+ // workspace 1 to the user is workspace 0 to us
+ if (type == changeWorkspace || type == sendToWorkspace)
_numberParam--;
}