Provides apps minisql admin main facilities for this project.
Package: (global)
Reachable from entry: no
minisql/admin/fullclient.mlasfullclient→ src/minisql/admin/fullclient.mlminisql/admin/win32_client.mlaswin32_client→ src/minisql/admin/win32_client.mlminisql/client/console.mlasconsole→ src/minisql/client/console.mlminisql/common/uuid.mlasuuid→ src/minisql/common/uuid.mlminisql/common/version.mlasversion→ src/minisql/common/version.mlminisql/platform/win32_gui.mlasgui→ src/minisql/platform/win32_gui.ml
function main(args)Dispatches GUI launch, smoke diagnostics, and explicit connection command lines.
| Parameter | Type | Default | Description |
|---|---|---|---|
args |
dynamic |
— | Command-line or caller-supplied arguments. |
function printAppError(value)Prints one structured application error and returns a failing exit code.
| Parameter | Type | Default | Description |
|---|---|---|---|
value |
dynamic |
— | Value consumed or transformed by the operation. |
function printUsage()Prints command-line entry points for the native MiniSQL Workbench.
function recoverConnectionFailure(value)Converts a direct-connect failure into a GUI error followed by a retryable manager.
| Parameter | Type | Default | Description |
|---|---|---|---|
value |
dynamic |
— | Value consumed or transformed by the operation. |
function runProfile(profile, password)Opens a profile in the native workbench and wipes the supplied password bytes.
| Parameter | Type | Default | Description |
|---|---|---|---|
profile |
dynamic |
— | profile value consumed by this operation. |
password |
dynamic |
— | password value consumed by this operation. |