[PPL-devel] ppl/Watchdog Watchdog.cc Watchdog.defs.hh Watc ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at cs.unipr.it	2003-01-10 09:48:13

Modified files:
	Watchdog       : Watchdog.cc Watchdog.defs.hh 
	                 Watchdog.inlines.hh Watchdog.types.hh 

Log message:
	New "nifty counter" implementation of library's initialization and
	finalization.  Explicit initialization and finalization is no longer
	necessary nor possible.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.inlines.hh.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.types.hh.diff?cvsroot=ppl&r1=1.3&r2=1.4