| LEFT | RIGHT |
| 1 # coding: utf-8 | 1 # coding: utf-8 |
| 2 | 2 |
| 3 # This file is part of the Adblock Plus build tools, | 3 # This file is part of the Adblock Plus build tools, |
| 4 # Copyright (C) 2006-2013 Eyeo GmbH | 4 # Copyright (C) 2006-2013 Eyeo GmbH |
| 5 # | 5 # |
| 6 # Adblock Plus is free software: you can redistribute it and/or modify | 6 # Adblock Plus is free software: you can redistribute it and/or modify |
| 7 # it under the terms of the GNU General Public License version 3 as | 7 # it under the terms of the GNU General Public License version 3 as |
| 8 # published by the Free Software Foundation. | 8 # published by the Free Software Foundation. |
| 9 # | 9 # |
| 10 # Adblock Plus is distributed in the hope that it will be useful, | 10 # Adblock Plus is distributed in the hope that it will be useful, |
| (...skipping 16 matching lines...) Expand all Loading... |
| 27 result = set(('store.description',)) | 27 result = set(('store.description',)) |
| 28 | 28 |
| 29 # Hack: ignore all lib subdirectories | 29 # Hack: ignore all lib subdirectories |
| 30 libDir = os.path.join(params['baseDir'], 'lib') | 30 libDir = os.path.join(params['baseDir'], 'lib') |
| 31 for file in os.listdir(libDir): | 31 for file in os.listdir(libDir): |
| 32 if os.path.isdir(os.path.join(libDir, file)): | 32 if os.path.isdir(os.path.join(libDir, file)): |
| 33 result.add(file) | 33 result.add(file) |
| 34 return result | 34 return result |
| 35 | 35 |
| 36 def getPackageFiles(params): | 36 def getPackageFiles(params): |
| 37 result = set(('_locales', 'icons', 'jquery-ui', 'lib', 'skin', 'ui',)) | 37 result = set(('_locales', 'icons', 'jquery-ui', 'lib', 'skin', 'ui', 'ext')) |
| 38 | 38 |
| 39 if params['devenv']: | 39 if params['devenv']: |
| 40 result.add('qunit') | 40 result.add('qunit') |
| 41 | 41 |
| 42 baseDir = params['baseDir'] | 42 baseDir = params['baseDir'] |
| 43 for file in os.listdir(baseDir): | 43 for file in os.listdir(baseDir): |
| 44 if file.endswith('.js') or file.endswith('.html') or file.endswith('.xml'): | 44 if file.endswith('.js') or file.endswith('.html') or file.endswith('.xml'): |
| 45 result.add(file) | 45 result.add(file) |
| 46 return result | 46 return result |
| 47 | 47 |
| (...skipping 356 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 404 def shutdown_server(server): | 404 def shutdown_server(server): |
| 405 time.sleep(10) | 405 time.sleep(10) |
| 406 server.shutdown() | 406 server.shutdown() |
| 407 thread.start_new_thread(shutdown_server, (server,)) | 407 thread.start_new_thread(shutdown_server, (server,)) |
| 408 server.serve_forever() | 408 server.serve_forever() |
| 409 | 409 |
| 410 if connections[0] == 0: | 410 if connections[0] == 0: |
| 411 print 'Warning: No incoming connections, extension probably not active in th
e browser yet' | 411 print 'Warning: No incoming connections, extension probably not active in th
e browser yet' |
| 412 else: | 412 else: |
| 413 print 'Handled %i connection(s)' % connections[0] | 413 print 'Handled %i connection(s)' % connections[0] |
| LEFT | RIGHT |