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.


Community memberships

2 posters

StarExec :: Bug Reports

Go down

Community memberships Empty Community memberships

Post by hzankl Fri Jun 06, 2014 4:50 am

Hi,

According to "spaces -> communities" I am _not_ a member of the Termination community.
However under "actions" it says "leave" rather than "join". If I try to "leave" then I get the
error message "you are not a member of this community". But how can I join?

Surprisingly I see the Termination space in the tree of "spaces -> explore".

Harald.

hzankl

Posts : 19
Join date : 2014-05-14

Back to top Go down

Community memberships Empty Re: Community memberships

Post by Admin Mon Jun 09, 2014 1:33 pm

It seems we have a bug related to this, which should be fixed when we deploy today or tomorrow. Thanks for letting us know.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

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

Back to top Go down

Community memberships Empty Re: Community memberships

Post by hzankl Thu Jun 12, 2014 6:59 am

It worked now! Thanks for the fix

hzankl

Posts : 19
Join date : 2014-05-14

Back to top Go down

Community memberships Empty Re: Community memberships

Post by Sponsored content


Sponsored content


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