Comment 1 for bug 1417319

I replicated this on 15.04dev HEAD. It throws this warning:

[WAR] f9 (lib/file.php:812) dir(/home/aaronw/www/mahara/htdocs/artefact//artefact/file/export/html/static/): failed to open dir: No such file or directory
Call stack (most recent first):

    log_message("dir(/home/aaronw/www/mahara/htdocs/artefact//artef...", 8, true, true, "/home/aaronw/www/mahara/htdocs/lib/file.php", 812) at /home/aaronw/www/mahara/htdocs/lib/errors.php:441
    error(2, "dir(/home/aaronw/www/mahara/htdocs/artefact//artef...", "/home/aaronw/www/mahara/htdocs/lib/file.php", 812, array(size 2)) at Unknown:0
    dir("/home/aaronw/www/mahara/htdocs/artefact//artefact/...") at /home/aaronw/www/mahara/htdocs/lib/file.php:812
    copyr("/home/aaronw/www/mahara/htdocs/artefact//artefact/...", "/home/aaronw/dataroot/mahara/export/1/1422936422//...") at /home/aaronw/www/mahara/htdocs/export/html/lib.php:507
    PluginExportHtml->copy_static_files() at /home/aaronw/www/mahara/htdocs/export/html/lib.php:205
    PluginExportHtml->export() at /home/aaronw/www/mahara/htdocs/export/download.php:98