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

This is a forum for discussing the StarExec solver execution service, at starexec.org.


deleting users from hierarchy

2 posters

StarExec :: Bug Reports

Go down

deleting users from hierarchy Empty deleting users from hierarchy

Post by barrett42 Mon Jun 02, 2014 1:29 pm

If I delete a user from a space and select delete from hierarchy but the user is only in the top space of the hierarchy, I get an internal error.

barrett42

Posts : 19
Join date : 2014-04-30

Back to top Go down

deleting users from hierarchy Empty Re: deleting users from hierarchy

Post by eric-burns Thu Jun 19, 2014 9:59 pm

Thanks for pointing out this bug-- it should have been resolved by the most recent deploy.

eric-burns

Posts : 27
Join date : 2014-06-17

Back to top Go down

Back to top

- Similar topics

StarExec :: Bug Reports

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