SHORT-SITE-NAME : FLAG

SHORT-SITE-NAME is a flag or parameter.
Tells what site we are running at. Initialized
when TPS starts up. Can't be changed.
SHORT-SITE-NAME takes values of type STRING.
It belongs to subjects SYSTEM .
Its default value is ""
Its current value is "gtps".

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage