« Previous | Next » 

Revision d5e06fd8

IDd5e06fd829108427acb47421e9f619083b1e09a2
Parent 028e540b
Child 013f74c5

Added by Christos Stathis over 13 years ago

Exposed refreshIndex to the jmx bean

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences