Tweaked bin/rfc-editor-* scripts

- Legacy-Id: 17439
This commit is contained in:
Henrik Levkowetz 2020-03-14 18:42:48 +00:00
parent 4ecaeab9c6
commit e6e0b16005
2 changed files with 2 additions and 1 deletions

View file

@ -49,7 +49,7 @@ log("Updating document metadata from RFC index from %s" % settings.RFC_EDITOR_IN
socket.setdefaulttimeout(30) socket.setdefaulttimeout(30)
rfc_index_xml = requests.get(settings.RFC_EDITOR_INDEX_URL, stream=True).text rfc_index_xml = requests.get(settings.RFC_EDITOR_INDEX_URL).text
index_data = ietf.sync.rfceditor.parse_index(io.StringIO(rfc_index_xml)) index_data = ietf.sync.rfceditor.parse_index(io.StringIO(rfc_index_xml))
errata_data = requests.get(settings.RFC_EDITOR_ERRATA_JSON_URL).json() errata_data = requests.get(settings.RFC_EDITOR_ERRATA_JSON_URL).json()

View file

@ -1,5 +1,6 @@
#!/usr/bin/env python #!/usr/bin/env python
import io
import os import os
import requests import requests
import socket import socket