diff --git a/lib/core/common.py b/lib/core/common.py index 811cdb054..b38061b76 100644 --- a/lib/core/common.py +++ b/lib/core/common.py @@ -1481,18 +1481,21 @@ def pushValue(value): """ Push value to the stack """ + kb.valueStack.append(value) def popValue(): """ Pop value from the stack """ + return kb.valueStack.pop() def wasLastRequestError(): """ Returns True if the last web request resulted in a (recognized) DBMS error page """ + return kb.lastErrorPage and kb.lastErrorPage[0]==kb.lastRequestUID def beep(): @@ -1511,6 +1514,6 @@ def beep(): audio.close() except: - print '\a' + dataToStdout('\a', True) else: - print '\a' + dataToStdout('\a', True)