Changeset 332 in tailor for vcpx/session.py


Ignore:
Timestamp:
05/25/05 03:49:26 (8 years ago)
Author:
lele@…
Hash name:
20050525014926-97f81-e6373e2eb09a75477c12112ce02a00a8bde2202b
Message:

Catch interruption by user

File:
1 edited

Legend:

Unmodified
Added
Removed
  • vcpx/session.py

    r331 r332  
    520520                    applyable=applyable, applied=self.applied, 
    521521                    logger=self.logger) # , delayed_commit=single_commit) 
     522            except KeyboardInterrupt: 
     523                if self.logger: 
     524                    self.logger.warning("Stopped by user") 
    522525            except: 
    523526                if self.logger: 
Note: See TracChangeset for help on using the changeset viewer.