Skip to content

Commit

Permalink
Merge pull request #767 from nrybowski/master
Browse files Browse the repository at this point in the history
[installer] Fix failure due to pymongo bump
  • Loading branch information
Drumor committed Jan 7, 2022
2 parents 262e8d9 + a7d3e26 commit 6777a96
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion inginious/frontend/installer.py
Original file line number Diff line number Diff line change
Expand Up @@ -335,7 +335,7 @@ def configure_mongodb(self):
database_name = "INGInious"

should_ask = True
if self.try_mongodb_opts(host, database_name):
if self.try_mongodb_opts(host, database_name) is not None:
should_ask = self._ask_boolean(
"Successfully connected to MongoDB. Do you want to edit the configuration anyway?", False)
else:
Expand Down

0 comments on commit 6777a96

Please sign in to comment.