Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[enhance] MongoDB: --db-local now by default. (~/.opa/mongo folder used)

  • Loading branch information...
commit 76100a2437db981002b6e64e95f50f355238ad77 1 parent 0c342f9
Cédric Soulas cedricss authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  stdlib/database/mongo/db.opa
2  stdlib/database/mongo/db.opa
View
@@ -532,7 +532,7 @@ Then use option --db-remote instead of --db-local.
| {some = ~{local}} -> open_local(name, local, seed)
| {none} ->
match Db.default_cmdline with
- | {none} -> open_remote(name, default_remote, seed)
+ | {none} -> open_local(name, {path = default_local()}, seed)
| {some = {local = {none}}} -> open_local(name, {path = default_local()}, seed)
| {some = {local = {some = path}}} -> open_local(name, ~{path}, seed)
| {some = {remote = {some = remote}}} ->
Please sign in to comment.
Something went wrong with that request. Please try again.