deindex content when you delete it.
authorjohn <john>
Sat, 18 Jan 2003 15:55:14 +0000 (15:55 +0000)
committerjohn <john>
Sat, 18 Jan 2003 15:55:14 +0000 (15:55 +0000)
commit964c2f1a80c6a4c89565ef1412ffa277913cd18a
tree09b17e56112ce7d2aeab150a9c922c5d62d4e6bf
parentf9e80106984591d3c1d51590dece07c429c25e20
deindex content when you delete it.
uses a new utility method which de-index based off of id, not based off
an entity
source/mircoders/search/IndexUtil.java
source/mircoders/servlet/ServletModuleContent.java