Comment 8 for bug 958987

On my Windows machine, inside py-execute-base, I tried replaceding

       (temp (make-temp-name shell))

with

          (replace-regexp-in-string ":" "!"
                                    (replace-regexp-in-string
                                     "/" "!" (make-temp-name shell))))

and things work much better. This code replaces the ":" and "/" characters in the shell name with the "!" character, which is legal inside a file name.