[Zope] detect pressed refresh button in browser

[Dirk Datzert]

Hi,

I found out that REQUEST['HTTP_PRAGMA'] is set to 'no-cache' if the
browser refresh button is pressed.

Can anybody verify that ?

Regards,
Dirk