StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.

Deployment: bug fix related to removing spaces

Go down

Deployment: bug fix related to removing spaces Empty Deployment: bug fix related to removing spaces

Post by Admin Wed Dec 17, 2014 10:54 am

We deployed yesterday to fix a bug reported by Andy Reynolds, where we were not correctly recycling primitives (e.g., benchmarks) when a user requested we do so when removing a space. What was happening is that we were accidentally just orphaning the space, which left references to the primitives still (in the orphaned space), so the primitives were not being removed. We have fixed this now, and retroactively removed all spaces we accidentally orphaned. This means that you may find you have recycled primitives now, on your profile page.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Back to top

- Similar topics

 
Permissions in this forum:
You cannot reply to topics in this forum