single datanode pushout followed by pi -d failed

[danh]

I used the gui, http://pi.us.archive.org/control/pi.php, to do a single
node pushout this morning, to ia310930.us.archive.org.
I thought this worked, but i was probably mistaken.

Following this, without rebooting my browser, i tried pushing
to all the datanodes.

This definitely did not work, although it flew through very
quickly. It left the code at revision 27398, but it should
have been at 27413.

Per Sam, i tried a second time. I believe i saw 27413 flash
on the screen briefly. But if so, it was quickly overwritten
by 27398, with no changes made.

Sam then did a pushout, which did work.