function run_database_export($args, $opts) { if (count($args) < 2) throw new Exception ("Please provide a workspace name and a directory for export"); $workspace = new workspaceTools($args[0]); $workspace->exportDatabase($args[1]); }