2604 |
fetchcommand=fetchcommand.replace("${DISTDIR}",mysettings["DISTDIR"]) |
2604 |
fetchcommand=fetchcommand.replace("${DISTDIR}",'"'+mysettings["DISTDIR"]+'"') |
2605 |
resumecommand=resumecommand.replace("${DISTDIR}",mysettings["DISTDIR"]) |
2605 |
resumecommand=resumecommand.replace("${DISTDIR}",'"'+mysettings["DISTDIR"]'"') |