| Index: client/dom/scripts/databasebuilder.py
|
| diff --git a/client/dom/scripts/databasebuilder.py b/client/dom/scripts/databasebuilder.py
|
| index 30d4e05b1e0cbf3efefd3176e9012ecfaa50815b..81d104682d64660c57c4a72805cd71b3f7db09d3 100755
|
| --- a/client/dom/scripts/databasebuilder.py
|
| +++ b/client/dom/scripts/databasebuilder.py
|
| @@ -129,7 +129,7 @@ class DatabaseBuilder(object):
|
| if argument.is_optional:
|
| if 'Optional' in argument.ext_attrs:
|
| optional_value = argument.ext_attrs['Optional']
|
| - if optional_value == 'CallWithDefaultValue':
|
| + if optional_value:
|
| if (interface.id, op.id, argument.id) not in optional_argument_whitelist:
|
| argument.is_optional = False
|
| del argument.ext_attrs['Optional']
|
|
|