Changeset b2a49b in git for Singular/LIB/general.lib

Timestamp:

Sep 27, 1999, 7:54:57 PM (24 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

a6312edfb1f70ae85db1956e81afaabf54b79df1

Parents:

793a4da836b9a776100b320e7295d47093670104

Message:

*hannes: cannot kill proc which are in use


git-svn-id: file:///usr/local/Singular/svn/trunk@3686 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/LIB/general.lib (modified) (2 diffs)

Singular/LIB/general.lib

@@ -1 @@
-// $Id: general.lib,v 1.20 1999-09-23 12:13:38 Singular Exp $
+// $Id: general.lib,v 1.21 1999-09-27 17:54:57 Singular Exp $
 //GMG, last modified 18.6.99
 ///////////////////////////////////////////////////////////////////////////////
 
-version="$Id: general.lib,v 1.20 1999-09-23 12:13:38 Singular Exp $";
+version="$Id: general.lib,v 1.21 1999-09-27 17:54:57 Singular Exp $";
 info="
 LIBRARY:  general.lib   PROCEDURES OF GENERAL TYPE
@@ -434 +434 @@
           for ( joni=size(L); joni>0; joni-- )
           {
-             if( L[joni]=="LIB" or typeof(`L[joni]`)=="proc" )
+             if((L[joni]!="killall") and (L[joni]=="LIB" or typeof(`L[joni]`)=="proc"))
                { kill `L[joni]`; }
           }