Rev 4918 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
if %3==dpurdie goto OK if %3==buildadm goto OK echo User %3 is not allowed to modify repository properties on %1 >&2 exit 1 :OK exit 0
if %3==dpurdie goto OK
if %3==buildadm goto OK
echo User %3 is not allowed to modify repository properties on %1 >&2
exit 1
:OK
exit 0