# and Technology through the research contract #IP-2003-143.
#
-# $Id: exec.tcl,v 1.72 2008/04/28 11:32:34 miljenko Exp $
+# $Id: exec.tcl,v 1.73 2008/05/14 13:51:08 miljenko Exp $
#****f* exec.tcl/nexec
#****
proc vimageCleanup { eid } {
global .c
+ global execMode
set t_start [clock seconds]
if { [catch {nexec vimage $eid vimage -lr | fgrep -v " " | cut -d: -f 1} res] != 0 } {
set vrti 1
set sec 60
- # wm title $wi "Please wait ..."
- set w .timewait
- catch {destroy $w}
- toplevel $w -takefocus 1
- wm geometry $w +150+150
- wm title $w "Please wait ..."
- message $w.msg -justify left -aspect 1200 \
+ if { $execMode == "batch" } {
+ puts "\nDue to the known bug we must wait for TIME_WAIT expiration on virtual nodes (up to 60 sec). "
+ puts "Please don't try killing the process."
+ } else {
+ # wm title $wi "Please wait ..."
+ set w .timewait
+ catch {destroy $w}
+ toplevel $w -takefocus 1
+ wm geometry $w +150+150
+ wm title $w "Please wait ..."
+ message $w.msg -justify left -aspect 1200 \
-text "\nDue to the known bug we must wait for TIME_WAIT expiration on virtual nodes (up to 60 sec).
Please don't try killing the process.
(countdown on status line)\n"
- pack $w.msg
- update
- grab $w
-
+ pack $w.msg
+ update
+ grab $w
+ }
while { $vrti == 1 } {
set vrti 0
foreach vimage $vimages {
# puts "vimage $vimage: \n$odg\n"
after 2000
set sec [expr $sec - 2]
- statline "~ $sec sec ..."
- pack $w.msg
- update
+ if { $execMode == "batch" } {
+ puts -nonewline "."
+ flush stdout
+ } else {
+ statline "~ $sec sec ..."
+ pack $w.msg
+ update
+ }
}
}
}
- destroy .timewait
+ if { $execMode == "batch" } {
+ puts ""
+ } else {
+ destroy .timewait
+ }
# Kill all processes in all vimages
foreach vimage $vimages {
set stattxt "Terminating processes in vimage $vimage"
# and Technology through the research contract #IP-2003-143.
#
-# $Id: initgui.tcl,v 1.47 2008/01/08 14:21:00 marko Exp $
+# $Id: initgui.tcl,v 1.48 2008/05/14 13:51:08 miljenko Exp $
#****h* imunes/initgui.tcl
#
wm minsize . 640 400
-wm geometry . 1016x716-30+30
+wm geometry . 1016x716-20+0
menu .menubar
. config -menu .menubar -bg white