[certi-cvs] certi myconf libCERTI/HandleManager.hh

[certi-cvs]

CVSROOT:        /sources/certi
Module name:    certi
Changes by:     Pierre Siron <siron>    08/06/04 07:42:05

Modified files:
        .              : myconf 
        libCERTI       : HandleManager.hh 

Log message:
        The handles must be unique in a federation.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/certi/myconf?cvsroot=certi&r1=3.12&r2=3.13
http://cvs.savannah.gnu.org/viewcvs/certi/libCERTI/HandleManager.hh?cvsroot=certi&r1=3.3&r2=3.4

Patches:
Index: myconf
===================================================================
RCS file: /sources/certi/certi/myconf,v
retrieving revision 3.12
retrieving revision 3.13
diff -u -b -r3.12 -r3.13
--- myconf      23 Apr 2008 07:36:00 -0000      3.12
+++ myconf      4 Jun 2008 07:42:05 -0000       3.13
@@ -1,6 +1,6 @@
 #! /bin/sh
 # CERTI myconf
-# $Id: myconf,v 3.12 2008/04/23 07:36:00 siron Exp $
+# $Id: myconf,v 3.13 2008/06/04 07:42:05 siron Exp $
 
 case $1 in
     sun)
@@ -58,9 +58,9 @@
 esac
 
 WHERE=`dirname $0`
-$WHERE/configure --prefix=$HOME/CERTI-3.2.6 $SHARED $2 $3 $4 $5
+$WHERE/configure --prefix=$HOME/CERTI-3.2.8 $SHARED $2 $3 $4 $5
 make clean
 make
 make install
 
-# $Id: myconf,v 3.12 2008/04/23 07:36:00 siron Exp $
+# $Id: myconf,v 3.13 2008/06/04 07:42:05 siron Exp $

Index: libCERTI/HandleManager.hh
===================================================================
RCS file: /sources/certi/certi/libCERTI/HandleManager.hh,v
retrieving revision 3.3
retrieving revision 3.4
diff -u -b -r3.3 -r3.4
--- libCERTI/HandleManager.hh   22 Jun 2007 08:51:36 -0000      3.3
+++ libCERTI/HandleManager.hh   4 Jun 2008 07:42:05 -0000       3.4
@@ -17,7 +17,7 @@
 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
 // USA
 //
-// $Id: HandleManager.hh,v 3.3 2007/06/22 08:51:36 erk Exp $
+// $Id: HandleManager.hh,v 3.4 2008/06/04 07:42:05 siron Exp $
 // ----------------------------------------------------------------------------
 
 #ifndef LIBCERTI_HANDLE_MANAGER
@@ -101,10 +101,10 @@
 template<typename T> void
 HandleManager<T>::free(T handle)
 {
-    if (handle + 1 == highest)
-       --highest ;
-    else
-       available.push_back(handle);
+    //if (handle + 1 == highest)
+       //--highest ;
+    //else
+       //available.push_back(handle);
 }
 
 } // certi