From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d46468aa410c0403
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Distributed Ada, robustness etc.
Date: Wed, 31 May 2006 15:21:45 +0200
Organization: Adalog
Message-ID: <b95k5e.gc8.ln@hunter.axlog.fr>
References: <pan.2006.05.23.12.12.56.531577@linuxchip.demon.co.uk.uk.uk>
 <pan.2006.05.25.01.10.38.796525@linuxchip.demon.co.uk.uk.uk>
 <pan.2006.05.29.00.56.07.93515@linuxchip.demon.co.uk.uk.uk>
 <pan.2006.05.30.15.11.05.515785@linuxchip.demon.co.uk.uk.uk>
 <87odxeg2vz.fsf@ludovic-brenta.org>
 <pan.2006.05.31.12.45.29.104165@linuxchip.demon.co.uk.uk.uk>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: s1.news.oleane.net 1149084070 13590 195.25.228.57 (31 May 2006
 14:01:10 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Wed, 31 May 2006 14:01:10 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.2 (Windows/20060308)
In-Reply-To: <pan.2006.05.31.12.45.29.104165@linuxchip.demon.co.uk.uk.uk>
Xref: g2news2.google.com comp.lang.ada:4618
Date: 2006-05-31T15:21:45+02:00
List-Id: <comp.lang.ada>

Dr. Adrian Wrigley a �crit :
> Unfortunately, the unregister call *always* fails.  I had
> implemented the call through the finalization of a Controlled
> type.  An instance of the type is in the package, and the
> Finalize procedure is called when the partition terminates.
> This call, however, seems to take place *after* the PCS for
> the partition is brought down, and so the unregister
> immediately fails.
> 
Note that finalization occurs in reverse order of elaboration. 
Therefore, this means that your package is elaborated *before* the PCS.

Maybe adding a (useless) "with system.rpc" to your package would suffice 
to have an appropriate elaboration, and therefore finalization, order

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr