warzone2100/data/script/text/setdisk.slo

public	int		campaign;

event start(CALL_GAMEINIT)
{
	if (campaign > 0)
	{
		setCampaignNumber(campaign);	// so can easily switch disks during Cam3
	}
}