Paypal push order but customer online

[icklebits]

Every morning I log on, check my hits and check orders. I went on this morning and saw I had a new cust but no order. I went to paypal push orders to check if it was stuck and there it was. I clicked on the button that pushes it through. It says paid by paypal/creditcard

It suddenly occurred to me that I'd had no email from paypal. I went to paypal and there was no payment. I then went back to admin and checked who's online and the customer that had that basket was still online!

It said they were on this page:

pushorder.php?secret=PAYPAL_SECRET_WORD&id=**************2************

(The asteriks are just incase that nunber is important or can be hacked.)

It says they've not "moved" for 10 mins or more. Have I messed up that order?

Does stuck order just mean a shopping cart thats not been paid for?

What should I do?

Thanks in advance!

Just checked again and now they've gone but still no paypal payment. What does that mean?