diff options
Diffstat (limited to 'src/server/rz_kernel.py')
| -rw-r--r-- | src/server/rz_kernel.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/server/rz_kernel.py b/src/server/rz_kernel.py index 5c6eb0bb..e2b54c4b 100644 --- a/src/server/rz_kernel.py +++ b/src/server/rz_kernel.py @@ -27,6 +27,7 @@ class RZDoc_Exception__not_found(Exception): def __init__(self, rzdoc_name): super(RZDoc_Exception__not_found, self).__init__('rzdoc not found: \'%s\'' % (rzdoc_name)) + self.rzdoc_name = rzdoc_name class RZDoc_Exception__already_exists(Exception): |