console_type()
Return 1 if the console is a PATROL Developer Console.
Syntax
console_type()
Parameters
This function has no parameters.
Description
The console_type() function examines the console for which the PSL script is running and returns a 1 if the console is a PATROL Developer Console, or returns a 0 otherwise.
Example
The following console_type() function prints the type of console from which it is running:
if (console_type()) {
print("Developer Console\n");
} else {
print("Operator Console\n");
}
print("Developer Console\n");
} else {
print("Operator Console\n");
}