Re: Wish Cliopatria didn't insist on being the server
Anne Ogborn <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
> I don't want pldoc on in production
>I think that is a left over from refactoring ClioPatria. This should
have been a configuration option, so you can easily drop it.
ok, better way to disable this turns out to be in the generated run.pl
% Use the ClioPatria help system. May be commented to disable online
% help on the source-code.
:- use_module(cliopatria('applications/help/load')).
8cD