jenkins-bot has submitted this change. (
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1318661?usp=email )
Change subject: tests: increase timeout for TestScriptGenerator in script_tests
......................................................................
tests: increase timeout for TestScriptGenerator in script_tests
Bug: T432996
Change-Id: I74d25823f9928541297730c55dc4df65806251e7
---
M tests/script_tests.py
1 file changed, 7 insertions(+), 5 deletions(-)
Approvals:
jenkins-bot: Verified
Xqt: Looks good to me, approved
diff --git a/tests/script_tests.py b/tests/script_tests.py
index 442be46..07e6051 100755
--- a/tests/script_tests.py
+++ b/tests/script_tests.py
@@ -214,11 +214,13 @@
cmd = [*global_args, script_name, *args]
data_in = script_input.get(script_name)
- if isinstance(self._timeout, bool):
- do_timeout = self._timeout
+
+ if type(self._timeout) is int:
+ timeout = self._timeout
+ elif isinstance(self._timeout, bool):
+ timeout = 10 if self._timeout else None
else:
- do_timeout = script_name in self._timeout
- timeout = 10 if do_timeout else None
+ timeout = 10 if script_name in self._timeout else None
stdout, error = None, None
if self._results:
@@ -460,7 +462,7 @@
_arguments = '-simulate -page:Foobar -always -site:wikipedia:en'
_results = ("Working on 'Foobar'", 'Script terminated successfully')
_skip_results = {}
- _timeout = True
+ _timeout = 15
_script_list = filter_scripts(_allowed_failures, exclude_auto_run=True)
--
To view, visit
https://gerrit.wikimedia.org/r/c/pywikibot/core/+/1318661?usp=email
To unsubscribe, or for help writing mail filters, visit
https://gerrit.wikimedia.org/r/settings?usp=email
Gerrit-MessageType: merged
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Change-Id: I74d25823f9928541297730c55dc4df65806251e7
Gerrit-Change-Number: 1318661
Gerrit-PatchSet: 3
Gerrit-Owner: Xqt <[email protected]>
Gerrit-Reviewer: Xqt <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
Pywikibot-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]
