[gnome-shell] perf: Shut up an eslint error
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] perf: Shut up an eslint error
- Date: Tue, 23 Jul 2019 22:45:10 +0000 (UTC)
commit fda7c9b06e618bd32d4335e673a6efa3b09482b7
Author: Florian Müllner <fmuellner gnome org>
Date: Mon Feb 4 13:14:09 2019 +0100
perf: Shut up an eslint error
The while(true) loop is intentional here and not a bug, so disable
the corresponding eslint rule.
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/627
js/perf/hwtest.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/perf/hwtest.js b/js/perf/hwtest.js
index e74ba25ac..9c3c620fd 100644
--- a/js/perf/hwtest.js
+++ b/js/perf/hwtest.js
@@ -82,7 +82,7 @@ function extractBootTimestamp() {
let result = null;
let datastream = Gio.DataInputStream.new(sp.get_stdout_pipe());
- while (true) {
+ while (true) { // eslint-disable-line no-constant-condition
let [line, length_] = datastream.read_line_utf8(null);
if (line === null)
break;
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]