Rev 11441 | Rev 13573 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 11441 | Rev 12043 | ||
---|---|---|---|
Line 51... | Line 51... | ||
51 | !if $wims_deposit!=$empty and $wims_deposit!=noname.file \ |
51 | !if $wims_deposit!=$empty and $wims_deposit!=noname.file \ |
52 | and $bin_job=deposit and $bin_dir!=$empty \ |
52 | and $bin_job=deposit and $bin_dir!=$empty \ |
53 | and / notin $wims_deposit and .. notin $wims_deposit and & notin $wims_deposit |
53 | and / notin $wims_deposit and .. notin $wims_deposit and & notin $wims_deposit |
54 | wims_deposit=!nospace $wims_deposit |
54 | wims_deposit=!nospace $wims_deposit |
55 | wims_deposit=!deaccent $wims_deposit |
55 | wims_deposit=!deaccent $wims_deposit |
- | 56 | !set test=!filelist $devdir/$mod/images |
|
- | 57 | !set test1=!lowercase $test |
|
- | 58 | !set test2=!lowercase $wims_deposit |
|
- | 59 | !if $test2 isin $test1 and $wims_deposit notin $test |
|
- | 60 | !!files are different only by the case |
|
- | 61 | error=bad_case |
|
- | 62 | !goto list |
|
- | 63 | !endif |
|
56 | src=mkdir $devdir/$mod/$bin_dir\ |
64 | src=mkdir $devdir/$mod/$bin_dir\ |
57 | mv $wims_home/$wims_sesdir/user-deposit $devdir/$mod/$bin_dir/$wims_deposit |
65 | mv $wims_home/$wims_sesdir/user-deposit $devdir/$mod/$bin_dir/$wims_deposit |
58 | !if ../images/ isin ../$bin_dir/ |
66 | !if ../images/ isin ../$bin_dir/ |
59 | src=$src\ |
67 | src=$src\ |
60 | cd $devdir/$mod\ |
68 | cd $devdir/$mod\ |
61 | exec imgindex |
69 | exec imgindex |
62 | !endif |
70 | !endif |
63 | !sh $src |
71 | !sh $src |
64 | success=yes |
72 | success=yes |
65 | !endif |
73 | !endif |
66 | 74 | :list |
|
67 | dirs=!items2words $dir |
75 | dirs=!items2words $dir |
68 | bfiles=!sh cd $devdir/$mod\ |
76 | bfiles=!sh cd $devdir/$mod\ |
69 | dd=`find $dirs -type f -name '*'| sort | uniq 2>/dev/null`\ |
77 | dd=`find $dirs -type f -name '*'| sort | uniq 2>/dev/null`\ |
70 | [ -z "$$dd" ] && exit\ |
78 | [ -z "$$dd" ] && exit\ |
71 | ls -l $$dd | awk '{print $$9","$$5}' |
79 | ls -l $$dd | awk '{print $$9","$$5}' |