Leer en Español

Wollok hung up while building

Sometimes Wollok can hang up while building. You can see messages like this:

This has been a hard to reproduce bug, and therefore we're having a hard time fixing it. While we find a final solution for this problem, is you see this, most of the time you can work around it just restarting Wollok.

Still, there have been reported cases in which this has not been enough. In those cases, you will have to:

• Close wollok
• Look for your workspace metadata directory and delete it. It is a directory named .metadata, frequently placed inside the workspace directory in your Wollok instalation.
• Re-open Wollok and re-import all your previous projects using "Import" => "Existing projects"

Error while pushing to GitHub "cannot open git-receive-pack"

This is caused by a problem in Github, which provides an incorrect SSL certificate. To solve this problem, we have to configure our git to allow this certificate:

• Open preferences via application menu Window => Preferences (or on OSX Eclipse => Settings).
• Navigate to Team => Git => Configuration
• Click Add entry..., then put http.sslVerify in the key box and false in the value box.