Performs database maintenance and statistics refresh.
public repair(): bool
Generated by Hazaar API Doc Generator on Thu, 22 Oct 2026 05:05:30 +0000