Performs database maintenance and statistics refresh.
public repair(): bool
Generated by Hazaar API Doc Generator on Fri, 05 Jun 2026 06:08:15 +0000