SpringLobby: found bot bug in scripts

[Argh]

SpringLobby causes the game to fail to start with bots. The problem is that the resulting script is not supported by Spring atm, because it contains bad lines (see red).

IDK why they're bad, but they're bad in Spring 0.7.1 and 0.7.2.

[AI0]
{
Name=Bot1;
ShortName=Skirmish: Normal;
Version=<not versioned>;
Team=1;
Host=1;
[Options]
{
}
}

Please fix this bug.

[BrainDamage]

http://github.com/spring/spring/blob/9a ... Script.txt

(startscript keys are case insensitive, so Options vs OPTIONS doesn't matter)

[Argh]

Removing those lines fixed it. I have no idea what that sub-section's for, but Spring doesn't like it.

<reads specification>

So it's technically a Spring bug, for not supporting its own standard. I should note that TASClient doesn't put that line in, which means it works with (Lua) bots.

Removing that line is an easy interim fix.

[hoijui]

i'll test and have a look. this section is optional, and does not have to be there, but it certainly should not crash even if its empty.

[hoijui]

Ok, i made a few tests, and it never crashed. what i tried:
BA and KAIK
S44 + CRAIG

[Argh]

Windows or Linux? I have seen this bug now in Windows XP Pro, Windows XP 64 and Vista.

[hoijui]

i tested on linux
please give infolog(s)