save_index


Description:

public void save_index () throws Error

Saves the index to the file specified in constructor.