/ . / Collaboratory / Object.py / UserDisconnected 

Special object used by the Trunk to signal a user disconnection

__repr__ ( self )

__init__ ( self,  user )