profile option for server #6

Open

opened

on Sep 11, 2013

The server needs a "profile" option that will cause it to generate some profiling information that could be used to measure and improve the performance of queries.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests