class AbortedException (Exception):

    """ This is thrown when some method that is blocking for user input
    gets a cancel (i.e., user hits ESC) """
    
    def __int__ (self):
        Exception.__init__ ("Operation Aborted")
        pass
    pass