diff options
author | Ivan Alejandro <ivanalejandro0@gmail.com> | 2013-09-24 11:48:33 -0300 |
---|---|---|
committer | Ivan Alejandro <ivanalejandro0@gmail.com> | 2013-09-24 11:52:39 -0300 |
commit | 2fc512023f28210dc7957105b49cfdb8878965f9 (patch) | |
tree | d6043d9616cff3b70c7bf483bebf3883562558f2 /changes | |
parent | 394408c3d5d38d04e2135385afcbaa74c0d91450 (diff) |
Only ensure server if we are running the app.
This code reorder avoids to get an error message if we run some code
when the only thing we want is to get the version.
Closes #3914.
Diffstat (limited to 'changes')
-rw-r--r-- | changes/bug-3914_unhandled-error-on-version-flag | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changes/bug-3914_unhandled-error-on-version-flag b/changes/bug-3914_unhandled-error-on-version-flag new file mode 100644 index 00000000..41e023a0 --- /dev/null +++ b/changes/bug-3914_unhandled-error-on-version-flag @@ -0,0 +1 @@ + o Avoid error message if --version flag is used. Closes #3914. |