Delete remote repository

Owned by Former user (Deleted)
Nov 28, 2017

Deletes a repository in a remote EDMdatabase. Only the owner of the repository may delete it. Repositories must be emptied before they may be deleted.
The default repositories 'DictionaryRepository', 'SystemRepository' and 'DataRepository' may not be deleted.
Arguments:

Server context name:

Specify name of server context.
When activating the Select button, the name of all defined server contexts will be displayed in the related selection list.

Remote repository:

Specify the name of the remote repository holding the model(s) to delete. Repository names are case sensitive. This argument is only effective when the [delete all models of schema] is unset.
When activating the Select button, all open remote repositories will be displayed in the related selection list.

Options:

accumulating command output:

A global option that appends the command output to the EDMsupervisor output window. Otherwise the output window is refreshed and only the last command output is displayed.