Rev 5419 | Rev 5426 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 5419 | Rev 5420 | ||
---|---|---|---|
Line 4... | Line 4... | ||
4 | !! |
4 | !! |
5 | !! |
5 | !! |
6 | 6 | ||
7 | !if $wims_user=supervisor |
7 | !if $wims_user=supervisor |
8 | !let file_=!replace internal / by ~ in $wims_class |
8 | !let file_=!replace internal / by ~ in $wims_class |
9 | last_=!sh if [ -e $wims_home/ |
9 | last_=!sh if [ -e $wims_home/tmp/whoconnect/$file_ ]; then\ |
10 | perl -e '@a = stat($ARGV[0]); print $a[9]' $wims_home/ |
10 | perl -e '@a = stat($ARGV[0]); print $a[9]' $wims_home/tmp/whoconnect/$file_;\ |
11 | fi; |
11 | fi; |
12 | !default $last_=0 |
12 | !default $last_=0 |
13 | !if $wims_nowseconds-$last_>300 or $wims_read_parm=1 |
13 | !if $wims_nowseconds-$last_>300 or $wims_read_parm=1 |
14 | ses_=!sh cd $wims_home/sessions;\ |
14 | ses_=!sh cd $wims_home/sessions;\ |
15 | grep -r wims_class=$wims_class ./*/var.stat | cut -d/ -f2; |
15 | grep -r wims_class=$wims_class ./*/var.stat | cut -d/ -f2; |
Line 22... | Line 22... | ||
22 | !distribute line $t_ into t1_,t2_,t3_ |
22 | !distribute line $t_ into t1_,t2_,t3_ |
23 | !if $t1_!=supervisor |
23 | !if $t1_!=supervisor |
24 | whoconnect=!append line $t1_,$s_,$t2_,$t3_ to $whoconnect |
24 | whoconnect=!append line $t1_,$s_,$t2_,$t3_ to $whoconnect |
25 | !endif |
25 | !endif |
26 | !next s_ |
26 | !next s_ |
27 | !writefile wimshome/ |
27 | !writefile wimshome/tmp/whoconnect/$file_ $whoconnect |
28 | !else |
28 | !else |
29 | whoconnect=!record 0 of wimshome/ |
29 | whoconnect=!record 0 of wimshome/tmp/whoconnect/$file_ |
30 | !endif |
30 | !endif |
31 | numpartconnected=!linecnt $whoconnect |
31 | numpartconnected=!linecnt $whoconnect |
32 | !setdef user_connected=$wims_session in wimshome/ |
32 | !setdef user_connected=$wims_session in wimshome/tmp/whoconnect/sup$file_ |
33 | !else |
33 | !else |
34 | supervisorconnected=!defof user_connected in wimshome/ |
34 | supervisorconnected=!defof user_connected in wimshome/tmp/whoconnect/sup$file_ |
35 | !if $supervisorconnected!=$empty |
35 | !if $supervisorconnected!=$empty |
36 | test_=!defof wims_user in wimshome/sessions/$supervisorconnected/var.stat |
36 | test_=!defof wims_user in wimshome/sessions/$supervisorconnected/var.stat |
37 | !if $test_=$empty |
37 | !if $test_=$empty |
38 | !reset supervisorconnected |
38 | !reset supervisorconnected |
39 | !setdef user_connected=$empty in wimshome/ |
39 | !setdef user_connected=$empty in wimshome/tmp/whoconnect/sup$file_ |
40 | !endif |
40 | !endif |
41 | !endif |
41 | !endif |
42 | !endif |
42 | !endif |