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.
Hi and welcome! I’m terribly sorry for not getting to this sooner. You’re a first time poster and we should have answered this much earlier.
This is the command you’re looking for to see all the running PUNS. The output is a list of users.
Here’s an example of what I see in my container when I run 1 pun, just to give you an example.
[root@69713d3b64d3 ~]# /opt/ood/nginx_stage/sbin/nginx_stage nginx_list
Hit enter too early, so you may not have seen the update!
Again - a thousand apologies for not getting to this sooner.