From ba39d93e28eb125ef2139c93bcc01dc208a8ba3c Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@atc.tcs.com>
Date: Wed, 6 Oct 2010 22:57:45 +0530
Subject: [PATCH] (minor glitch in sudo adc)

thanks to jeff for finding it...
---
 contrib/adc/sudo | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/adc/sudo b/contrib/adc/sudo
index 818db75..47d9641 100755
--- a/contrib/adc/sudo
+++ b/contrib/adc/sudo
@@ -20,4 +20,5 @@ user="$1"; shift
 cmd="$1"; shift
 
 GL_USER=$user; export GL_USER
+[ -x $(dirname $0)/$cmd ] || die "no adc called $cmd"
 exec $(dirname $0)/$cmd "$@"