DispositionList
This has been extended to support saving the user-defined errContext
into the Cloverleaf error database.
lappend dispList "ERROR {$mh $errorContext}"
After returning the dispositionList
,
the message with $mh
is saved into the error
database. $errorContext
is appended to the current
errorContext
column of the error database.