Bug 1772941 - Fix 'OS is not defined' lint

Differential Revision: https://phabricator.services.mozilla.com/D151439
This commit is contained in:
Barret Rennie 2022-07-09 21:55:21 +00:00
Родитель 6d900e020b
Коммит c65cdadf5e
2 изменённых файлов: 2 добавлений и 0 удалений

Просмотреть файл

@ -1,6 +1,7 @@
/* Any copyright is dedicated to the Public Domain. /* Any copyright is dedicated to the Public Domain.
* http://creativecommons.org/publicdomain/zero/1.0/ */ * http://creativecommons.org/publicdomain/zero/1.0/ */
/* eslint-env mozilla/chrome-worker */ /* eslint-env mozilla/chrome-worker */
/* global OS */
function log(text) { function log(text) {
dump("WORKER " + text + "\n"); dump("WORKER " + text + "\n");

Просмотреть файл

@ -17,6 +17,7 @@ self.onmessage = function(msg) {
self.onmessage = function on_unexpected_message(msg) { self.onmessage = function on_unexpected_message(msg) {
throw new Error("Unexpected message " + JSON.stringify(msg.data)); throw new Error("Unexpected message " + JSON.stringify(msg.data));
}; };
/* import-globals-from /toolkit/components/osfile/osfile.jsm */
importScripts("resource://gre/modules/osfile.jsm"); importScripts("resource://gre/modules/osfile.jsm");
info("Initialization complete"); info("Initialization complete");