--- loncom/publisher/lonpubdir.pm 2001/08/20 13:18:41 1.13 +++ loncom/publisher/lonpubdir.pm 2001/08/20 20:13:40 1.14 @@ -144,6 +144,9 @@ sub handler { ''.localtime($cmtime).'  ' ); } + } else { + #no extension that we know of and not a directory + #just hide it away } } closedir(DIR);