Rev 5427 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5427 | Rev 6370 | ||
---|---|---|---|
Line 9... | Line 9... | ||
9 | !! wims_supervisorconnected |
9 | !! wims_supervisorconnected |
10 | 10 | ||
11 | 11 | ||
12 | !let file_=!replace internal / by ~ in $wims_class |
12 | !let file_=!replace internal / by ~ in $wims_class |
13 | !if $wims_user=supervisor |
13 | !if $wims_user=supervisor |
14 | last_=!sh if [ -e $wims_home/tmp/whoconnect/$file_ ]; then\ |
14 | last_=!sh if [ -e $wims_home/tmp/whoconnect/$file_ ]; then\ |
15 | perl -e '@a = stat($ARGV[0]); print |
15 | perl -e '@a = stat($ARGV[0]); print $$a[9]' $wims_home/tmp/whoconnect/$file_;\ |
16 | fi; |
16 | fi; |
17 | !default $last_=0 |
17 | !default $last_=0 |
18 | !if $wims_nowseconds-$last_>300 or $wims_read_parm=1 |
18 | !if $wims_nowseconds-$last_>300 or $wims_read_parm=1 |
19 | ses_=!sh cd $wims_home/sessions;\ |
19 | ses_=!sh cd $wims_home/sessions;\ |
20 | grep -r wims_class=$wims_class ./*/var.stat | cut -d/ -f2; |
20 | grep -r wims_class=$wims_class ./*/var.stat | cut -d/ -f2; |