diff options
Diffstat (limited to 'org/spine.org')
| -rw-r--r-- | org/spine.org | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/org/spine.org b/org/spine.org index 30a08f5..5267a3c 100644 --- a/org/spine.org +++ b/org/spine.org @@ -732,12 +732,13 @@ struct OptActions { } @trusted bool parallelise() { bool _is; - if (opts["parallel"] == true) { + if (opts["serial"] == true) { + _is = false; + } else if (sqlite_shared_db_action) { + _is = false; + } else if (opts["parallel"] == true) { _is = true; if (sqlite_shared_db_action) { _is = false; } - } else if (opts["parallel"] == false - && opts["serial"] == true) { - _is = false; } else if ( opts["abstraction"] || concordance |