mirror of https://gitee.com/bigwinds/arangodb
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
This commit is contained in:
commit
0ecbe6213e
|
@ -284,7 +284,7 @@ function start_pretty_print () {
|
|||
var internal = require("internal");
|
||||
|
||||
if (! internal.PRETTY_PRINT) {
|
||||
internal.print("use pretty printing");
|
||||
internal.print("using pretty printing");
|
||||
internal.PRETTY_PRINT = true;
|
||||
}
|
||||
}
|
||||
|
|
|
@ -285,7 +285,7 @@ static string JS_client_client =
|
|||
" var internal = require(\"internal\");\n"
|
||||
"\n"
|
||||
" if (! internal.PRETTY_PRINT) {\n"
|
||||
" internal.print(\"use pretty printing\");\n"
|
||||
" internal.print(\"using pretty printing\");\n"
|
||||
" internal.PRETTY_PRINT = true;\n"
|
||||
" }\n"
|
||||
"}\n"
|
||||
|
|
Loading…
Reference in New Issue