Well my experience of a troll is that they are very hard to ignore, a dedicated troll wont really care if you ignore them either, they know that they are upsetting the site and sometimes that is enough for them. There really is only one way to deal with a troll, and thats to get rid of them as soon as you spot you have one.