diff options
Diffstat (limited to 'src/server/rz_kernel.py')
| -rw-r--r-- | src/server/rz_kernel.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/server/rz_kernel.py b/src/server/rz_kernel.py index 9f211574..45eff07b 100644 --- a/src/server/rz_kernel.py +++ b/src/server/rz_kernel.py @@ -22,6 +22,11 @@ class RZDoc_Exception__not_found(Exception): def __init__(self, rzdoc_name): super(RZDoc_Exception__not_found, self).__init__('rzdoc not found: \'%s\'' % (rzdoc_name)) +class RZDoc_Exception__already_exists(Exception): + + def __init__(self, rzdoc_name): + super(RZDoc_Exception__already_exists, self).__init__('rzdoc already exists: \'%s\'' % (rzdoc_name)) + class RZ_Kernel(object): def __init__(self): |