src/third_party/WebKit/Source/devtools/front_end/sdk/Locks.js

   1 // Copyright 2014 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 /**
   6  * @return {!WebInspector.Lock}
   7  */
   8 WebInspector.profilingLock = function()
   9 {
  10     if (!WebInspector._profilingLock)
  11         WebInspector._profilingLock = new WebInspector.Lock();
  12     return WebInspector._profilingLock;
  13 }