Index: rver/common/oursrc/execsys/execsys.conf
===================================================================
--- /server/common/oursrc/execsys/execsys.conf	(revision 140)
+++ 	(revision )
@@ -1,140 +1,0 @@
-<Files *.pl>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.php>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.py>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.cgi>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.scm>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.html>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.css>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.gif>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.jpg>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.png>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.htm>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.jpeg>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.js>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.ico>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.xml>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.xsl>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.tiff>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.tif>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.tgz>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.tar>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.jar>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.pdf>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.ps>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.doc>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.xls>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.ppt>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.swf>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
-<Files *.mp3>
-	SetHandler cgi-script
-	Options +ExecCGI
-</Files>
-
Index: /server/common/oursrc/execsys/upd-execsys
===================================================================
--- /server/common/oursrc/execsys/upd-execsys	(revision 140)
+++ /server/common/oursrc/execsys/upd-execsys	(revision 141)
@@ -65,4 +65,5 @@
 	foreach my $ext (split " ", $exts) {
 		$map{$ext} = $type;
+		$map{uc($ext)} = $type;
 	}
 }