Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

no explicit return returns null

#29

bug report from a client:

@Requires({ urgency && ( sendToGroups != null ) && ( sendToUsers != null ) }) @Ensures({ result.id > 0 }) Message messageWithId ( Urgency urgency = Urgency.INFO, boolean sendToAll = true, List sendToGroups = [], List sendToUsers = [] )
{ new Message( counter++, context, util, messageNoId( urgency, sendToAll, sendToGroups, sendToUsers )) }

https://github.com/evgeny-goldin/teamcity-plugins/blob/9484df4999e9...

Reported by me (at andresteingress) · June 12th, 2011 @ 08:40 PM

State: resolved
Milestone: 1.2.4
Assigned to: me (at andresteingress) me (at andresteingress)

Activity

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.