e56f91c9b60f561712d28faae3e4d047adc67760,mathics/builtin/importexport.py,Import,apply,#Import#Any#Any#Any#,415

Before Change

        elements = [el.get_string_value() for el in elements]

        // Determine file type
        for el in elements:
            if el in IMPORTERS.keys():
                filetype = el
                elements.remove(el)
                break
        else:
            filetype = Expression("FileFormat", findfile).evaluate(
                evaluation=evaluation).get_string_value()

        return self._import(findfile, filetype, elements, evaluation)

    def _import(self, findfile, filetype, elements, evaluation):
        if filetype not in IMPORTERS.keys():

After Change

        // Download via URL
        if isinstance(filename, String):
            url = filename.get_string_value()
            if any(url.startswith(prefix) for prefix in ("http://", "https://", "ftp://")):
                import tempfile
                import os
                temp_handle, temp_path = tempfile.mkstemp(suffix="")

Instances