diff options
| author | rideout <rideout@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2003-02-10 09:23:30 +0000 |
|---|---|---|
| committer | rideout <rideout@17b73243-c579-4c4c-a9d2-2d5706c11dac> | 2003-02-10 09:23:30 +0000 |
| commit | 5d9dda84b8b4e568e1325cefce67663fdabe4382 (patch) | |
| tree | 179b199e1d6b8e42bea51263848a324fba552852 /doc/UsersGuide/ThornWriters.tex | |
| parent | 92bdd54fe8c46c6360d4e42c564baa9b006acce7 (diff) | |
Add warning against relying on default when using the INCLUDE mechanism.
git-svn-id: http://svn.cactuscode.org/flesh/trunk@3129 17b73243-c579-4c4c-a9d2-2d5706c11dac
Diffstat (limited to 'doc/UsersGuide/ThornWriters.tex')
| -rw-r--r-- | doc/UsersGuide/ThornWriters.tex | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/doc/UsersGuide/ThornWriters.tex b/doc/UsersGuide/ThornWriters.tex index 1fab2f49..77feeaa1 100644 --- a/doc/UsersGuide/ThornWriters.tex +++ b/doc/UsersGuide/ThornWriters.tex @@ -3311,9 +3311,13 @@ which uses the include file must declare this in its USES INCLUDE [SOURCE|HEADER]: <file_name> \end{verbatim} -(If the optional \verb![SOURCE|HEADER]! is omitted, \verb|HEADER| is assumed.) -Any thorn which wishes to add to this include file, -declares in its own {\tt interface.ccl} +(If the optional \verb![SOURCE|HEADER]! is omitted, \verb|HEADER| is +assumed. Note that this can be dangerous, as included \emph{source} +code which is incorrectly assumed to be \emph{header} code will be +executed in another thorn \emph{even if the providing thorn is +inactive}. Thus it is recommended to always include the optional +\verb![SOURCE|HEADER]! specification.) Any thorn which wishes to add +to this include file, declares in its own {\tt interface.ccl} \begin{verbatim} INCLUDE [SOURCE|HEADER]: <file_to_include> in <file_name> |