[issue3719] platform.py: _syscmd_file() can't handle target path with space or special shell character

[Marc-Andre Lemburg]

Marc-Andre Lemburg <mal at egenix.com> added the comment:

Checked in as r66145 and r66146.

----------
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue3719>
_______________________________________