Changeset 29c097e in git

Timestamp:

May 15, 2013, 1:44:06 PM (11 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

e2c9b2fd1bc99d892a2a72d1c9e5046a794ac330

Parents:

4c95acc9294d8ee135bf58ad358e45a742142e80670e19d61750153b0879354f6ab7f7414ec6fa95

Message:

Merge pull request #328 from YueRen/spielwiese

fix: timeStd correctly sets the attribute isSB

File:

• Singular/LIB/general.lib (modified) (1 diff)

Singular/LIB/general.lib

@@ -1205 +1205 @@
           kill PP;
         }
+        attrib(result,"isSB",1);
       }
       close(l_fork);