diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-02-24 16:21:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-01 20:29:18 +0000 |
| commit | 12b98c895f2bac07e3407c5bd07b04649d283cc0 (patch) | |
| tree | fc628dd70a4db5867a0216ec2cce85afa73d2dbd /tools/klee-stats | |
| parent | f9744300055b6afcfa9424b6cb7982072018c74a (diff) | |
| download | klee-12b98c895f2bac07e3407c5bd07b04649d283cc0.tar.gz | |
[klee-stats] Grafana: Limit number of entries to query for column names
Diffstat (limited to 'tools/klee-stats')
| -rwxr-xr-x | tools/klee-stats/klee-stats | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index f68502f0..7bc1fef6 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -209,7 +209,7 @@ def grafana(dirs, host_address, port): @app.route('/search', methods=['GET', 'POST']) def search(): conn = sqlite3.connect(dr) - cursor = conn.execute('SELECT * FROM stats') + cursor = conn.execute('SELECT * FROM stats LIMIT 1') names = [description[0] for description in cursor.description] return jsonify(names) |