Changeset 48c165a in git

Timestamp:

Mar 26, 2001, 4:05:30 PM (23 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

1bd25e34e1c021af2213fdd6edb61b9aa82fa6ca

Parents:

825addcda79702d1225adaa7933ff767320e06a0

Message:

*hannes: kilall and NS


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

File:

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

Singular/LIB/general.lib

@@ -2 +2 @@
 //anne, added deleteSublist and watchdog 12.12.2000
 ///////////////////////////////////////////////////////////////////////////////
-version="$Id: general.lib,v 1.38 2001-01-16 13:03:54 Singular Exp $";
+version="$Id: general.lib,v 1.39 2001-03-26 14:05:30 Singular Exp $";
 category="General purpose";
 info="
@@ -426 +426 @@
 "
 {
-  list @marie=names();
+  if (system("with","Namespaces"))
+  {
+    list @marie=names(Top);
+  }
+  else
+  {
+    list @marie=names();
+  }
   int j, no_kill, @joni;
   for ( @joni=1; @joni<=size(#);  @joni++)
@@ -441 +448 @@
     for ( @joni=size(@marie); @joni>0; @joni-- )
     {
-      if( @marie[@joni]!="LIB" and typeof(`@marie[@joni]`)!="proc" )
+      if( @marie[@joni]!="LIB" and typeof(`@marie[@joni]`)!="proc"
+      and typeof(`@marie[@joni]`)!="package")
       { kill `@marie[@joni]`; }
     }
@@ -455 +463 @@
         for ( @joni=size(@marie); @joni>0; @joni-- )
         {
-          if((@marie[@joni]!="killall") and (@marie[@joni]=="LIB" or
-                                       typeof(`@marie[@joni]`)=="proc"))
-          { kill `@marie[@joni]`; }
+          if((@marie[@joni]!="General")
+          and (@marie[@joni]!="Top")
+          and (@marie[@joni]!="killall")
+          and (@marie[@joni]=="LIB" or
+              typeof(`@marie[@joni]`)=="package" or
+              typeof(`@marie[@joni]`)=="proc"))
+          { kill `@marie[@joni]`;
+          if (defined(`@marie[@joni]`)) {kill `@marie[@joni]`;}}
+        }
+        if (system("with","Namespaces"))
+        {
+          @marie=names(General);
+          for ( @joni=size(@marie); @joni>0; @joni-- )
+          {
+            if(@marie[@joni]!="killall"
+            and typeof(`@marie[@joni]`)=="proc")
+            { kill General::`@marie[@joni]`; }
+          }
+          kill General::killall;
         }
       }