3 fn time { date | sed 's/.........$//'}
12 scr=(`{cat /dev/draw/new >[2]/dev/null || status=''})
23 statwid=`{hoc -e $wid^'*.2'}
24 if(test $statwid -lt 180)
26 if(test $statwid -gt 300)
29 logwid=`{hoc -e $wid^-$statwid}
30 if(test $logwid -gt 1000)
33 loght=`{hoc -e $ht^'*.25'}
34 if(test $loght -lt 130)
37 textht=`{hoc -e $ht^-$loght}
39 window 0,$textht,$statwid,$ht stats -lmisce
40 window $statwid,$textht,^`{hoc -e $logwid+$statwid}^,$ht tailfsrv
41 window 0,0,^`{hoc -e $logwid+$statwid}^,$textht inst/mainloop
43 while(! test -f /srv/log)
46 log `{time} Installation process started