Rev 8319 | Rev 12159 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8319 | Rev 11222 | ||
---|---|---|---|
Line 10... | Line 10... | ||
10 | !if $wims_superclass=$empty |
10 | !if $wims_superclass=$empty |
11 | Userdef=!replace wimshome/ by $wims_home/ in $userdef |
11 | Userdef=!replace wimshome/ by $wims_home/ in $userdef |
12 | test=!defof user_exists in $userdef |
12 | test=!defof user_exists in $userdef |
13 | !if $test=yes |
13 | !if $test=yes |
14 | erased=!replace internal .users/ by .users/. in $Userdef |
14 | erased=!replace internal .users/ by .users/. in $Userdef |
15 | !sh mv -f $Userdef $erased 2>/dev/ |
15 | !sh mv -f $Userdef $erased 2>/dev/null\ |
- | 16 | for a in `find $wims_home/log/classes/$delu_class -name '$uu.*'`; do \ |
|
- | 17 | aa=`echo $$a | sed -e "s/$uu/.$uu/"`; mv -f $$a $$aa; done\ |
|
- | 18 | for a in `find $wims_home/log/classes/$delu_class -name '$uu'`; do \ |
|
- | 19 | aa=`echo $$a | sed -e "s/$uu/.$uu/"`; mv -f $$a $$aa; done |
|
16 | deleted=yes |
20 | deleted=yes |
17 | !endif |
21 | !endif |
18 | !else |
22 | !else |
19 | typename=!defof class_typename in wimshome/log/classes/$delu_class/.def |
23 | typename=!defof class_typename in wimshome/log/classes/$delu_class/.def |
20 | !if $typename iswordof course |
24 | !if $typename iswordof course |
21 | delu_test=!sh readlink $wims_home/log/classes/$delu_class/.userlist |
25 | delu_test=!sh readlink $wims_home/log/classes/$delu_class/.userlist |