| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 162 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 173 }, | 173 }, |
| 174 | 174 |
| 175 /** | 175 /** |
| 176 * @override | 176 * @override |
| 177 */ | 177 */ |
| 178 disconnectedFromWorker: function() | 178 disconnectedFromWorker: function() |
| 179 { | 179 { |
| 180 this._workerManager._disconnectedFromWorker(); | 180 this._workerManager._disconnectedFromWorker(); |
| 181 } | 181 } |
| 182 } | 182 } |
| 183 | |
| 184 /** | |
| 185 * @type {!WebInspector.WorkerManager} | |
| 186 */ | |
| 187 WebInspector.workerManager; | |
| OLD | NEW |