Branch: refs/heads/master
Home: https://github.com/Starlink/skycat
Commit: 09cce6bfb7cb73df056197339618b5729cd9f349
https://github.com/Starlink/skycat/commit/09cce6bfb7cb73df056197339618b5729cd9f349
Author: Peter W. Draper <[log in to unmask]>
Date: 2015-03-12 (Thu, 12 Mar 2015)
Changed paths:
M tclutil/library/Batch.tcl
Log Message:
-----------
Use blt::kill to avoid a problem in GAIA
When interrupting a stuck query exec kill, kills the whole application
|