added better navigation for dashboard
return in case of OOM
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
changed style of filter dropwdown
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
bugfixed cap constraint
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
removed custom graphs, temp.
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
changed info to trace
conditionalised transactional skiplists with TRI_SKIPLIST_EX until fully integrated and tested
updated api-docs
Merge branch 'devel' of https://github.com/triAGENS/ArangoDB into devel
updated replication configuration
fixed ERROR message on startup
updated docs
updated tests and docs
fixed shutdown
decreased memory usage
extended tests