Reputation: 1638
During usage of ConqueGDB I noticed that it sends following commands:
I'm wondering what is the purpose of the server
keyword here. Alone it returns:
Undefined command: "server". Try "help".
With other commands like those mentioned before it looks like the word is just ignored.
Upvotes: 0
Views: 159
Reputation: 22529
The server
prefix can be used to prevent a command from being put into the command history, and to avoid having it be available for command repetition. This is useful for front ends that want to run some commands without interfering with whatever the user might be doing. This is documented in the manual.
Upvotes: 1