stop_wiki_server
Gracefully stop a running wiki web server. If no server is found on the specified port, receive a list of active servers.
Instructions
Stop a previously started wiki web server. Gracefully terminates the server process. If no server is found on the specified port, returns a list of currently running servers.
No prior indexing required.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| port | No | Port of the wiki server to stop (default: 8080) | |
| wiki_path | No | Optional wiki path to identify which server to stop |