minor changes according to JLint
authorrk <rk>
Wed, 3 Dec 2003 18:10:45 +0000 (18:10 +0000)
committerrk <rk>
Wed, 3 Dec 2003 18:10:45 +0000 (18:10 +0000)
commitf686dd55489e6241bff68b4169058cf6e498ec2c
treef6b521aaec77b7b03d326b40276515b96e896871
parentaa507bfd18e723d21e63454a26af3320bb8c27f2
minor changes according to JLint
19 files changed:
doc/INSTALL.mir
source/mir/servlet/AbstractServlet.java
source/mircoders/localizer/basic/MirBasicAntiAbuseFilterTypes.java
source/mircoders/media/MediaHandlerMp3.java
source/mircoders/media/MediaHandlerRealVideo.java
source/mircoders/search/AudioSearchTerm.java
source/mircoders/search/ContentSearchTerm.java
source/mircoders/search/ImagesSearchTerm.java
source/mircoders/search/KeywordSearchTerm.java
source/mircoders/search/MediaSearchTerm.java
source/mircoders/search/TextSearchTerm.java
source/mircoders/search/TopicMatrixSearchTerm.java
source/mircoders/search/TopicSearchTerm.java
source/mircoders/search/UnIndexedSearchTerm.java
source/mircoders/search/UnStoredSearchTerm.java
source/mircoders/search/VideoSearchTerm.java
source/mircoders/servlet/ServletModuleOpenIndy.java
source/mircoders/servlet/ServletModuleProducer.java
source/mircoders/storage/DatabaseAudio.java