Merge branch 'master' into wildrepos

This commit is contained in:
Sitaram Chamarty 2009-12-23 20:00:40 +05:30
commit 1a80f0182d
4 changed files with 35 additions and 3 deletions

View file

@ -109,8 +109,9 @@ if ($cmd =~ $CUSTOM_COMMANDS) {
}
# people allowed to get a shell can get basic access info by asking nicely
if ($shell_allowed and $cmd eq 'info') {
if ($cmd eq 'info') {
&report_basic($GL_ADMINDIR, $GL_CONF_COMPILED, $user);
print "you also have shell access\n\r" if $shell_allowed;
exit 1;
}