1 /* $Id: upload.js,v 1.1 2004/11/01 16:05:27 rich Exp $ */
5 if (document.f.name.value == "") {
6 var pathname = document.f.file.value;
7 /* Try to get just the filename. Seems thereis no platform
8 * independent way to do it, so we will just guess.
10 var i = pathname.lastIndexOf ("/");
11 var j = pathname.lastIndexOf ("\\");
14 i > -1 ? pathname.substring (i+1, pathname.length) : pathname;
15 filename = filename.toLowerCase ();
16 filename = filename.replace (/[^-a-z0-9_.]/g, '_');
17 document.f.name.value = filename;