Does it make sense to add isReadOnly() to IndexReader such that one can easily introspect whether a Reader is read only?

-Grant

---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to