Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
known_bugs [2012/09/19 11:10] pedro |
known_bugs [2012/10/03 13:18] (current) rafael |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * **Linux 64 bits installer:** You may have to install the "ia32-libs" before running the installer. | * **Linux 64 bits installer:** You may have to install the "ia32-libs" before running the installer. | ||
| * Method kill() does not work properly for neighborhoods. | * Method kill() does not work properly for neighborhoods. | ||
| + | * **Linux installer:** It may be necessary check the option "allow execute" in the properties of the file. | ||
| * **The following syntax will not work: ** | * **The following syntax will not work: ** | ||
| | | ||
| Line 18: | Line 19: | ||
| env = Environment{ id = "MyEnvironment", cs , ag1 } | env = Environment{ id = "MyEnvironment", cs , ag1 } | ||
| env:createPlacement{strategy = "random"} | env:createPlacement{strategy = "random"} | ||
| - | |||
