I was charging overnight at a public lot recently, and someone had removed the J1772 charger to plug themselves in (it's fine, I was full by that time already and I think the lot attendants monitor time and do the plugging themselves). But my adapter was still in the charging port. How do you remove it in that instance? Is there an "eject" button anywhere? What I did was unplug the guy next to me, replug myself in and remove the adapter. When I plug the cable back into the other guy's car (Prius) does it resume charging automatically or did I just hose the guy?