Intuition:Toolserverstatus-toolserver-status-short-down/ro

$1: Picat