The "No input file" error is a known problem that is quite rare in occurrence. It means that someone visited the site just before and just after the publish occurred and happened to hit exactly on the same node.
Please try clearing your browser's cache and then let the Customer Support know if you experience this again.