File-src-apps-minisql-admin-main-ml-1398154367.md

src/apps/minisql_admin/main.ml

Home · Files

Provides apps minisql admin main facilities for this project.

Package: (global)

Reachable from entry: no

Imports

• minisql/admin/fullclient.ml as fullclient → src/minisql/admin/fullclient.ml
• minisql/admin/win32_client.ml as win32_client → src/minisql/admin/win32_client.ml
• minisql/client/console.ml as console → src/minisql/client/console.ml
• minisql/common/uuid.ml as uuid → src/minisql/common/uuid.ml
• minisql/common/version.ml as version → src/minisql/common/version.ml
• minisql/platform/win32_gui.ml as gui → src/minisql/platform/win32_gui.ml

Declarations

main

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.

View source

printAppError

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.

View source

printUsage

function printUsage()

Prints command-line entry points for the native MiniSQL Workbench.

View source

recoverConnectionFailure

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.

View source

runProfile

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.

View source