Active User on OnDemand Interface


We are doing some migration at our site, and wanted to avoid migrating any user who is currently logged in via OnDemand interface. What’s the best method of finding this information? We tried to see if pun process is running for a user or not, but it looks like pun gets generated the first time a user logs in to the interface.