Yes. There is no other choice. As soon as one specifies another db, then the
option is enabled. This also must be so because Performing the small script
does indeed fire in the other db.
----- Original Message -----
From: "Cornelius Walker" <[log in to unmask]>
To: <[log in to unmask]>
Sent: Tuesday, May 25, 2010 1:58 PM
Subject: Re: Subscript calling depth
> On May 25, 2010, at 1:03 PM, Nicholas Geti wrote:
>
>> Not exactly. The small subscripts are in the same file as the master
>> script and called from it. But if the small script calls subscript in
>> another file, then the subscript in that other file is never executed. It
>> is totally ignored.
>
> Did you ensure the "Perform Sub-scripts" option was enabled in all scripts
> involved?
>
> Cheers,
> -corn
>
>
> Cornelius Walker
> The Proof Group
> http://proofgroup.com/