[Bro-Dev] #466: Add += initializer support to vectors

[Bro Tracker]

#466: Add += initializer support to vectors
-----------------------------+-----------------
 Reporter:  seth             |      Owner:
     Type:  Feature Request  |     Status:  new
 Priority:  Normal           |  Milestone:
Component:  Bro              |    Version:
 Keywords:  language         |
-----------------------------+-----------------
 This code should work by effectively adding the element to the end of the
 vector....

 {{{
 const foobar: vector of string = vector() &redef;
 redef foobar += { "testing" };
 }}}

-- 
Ticket URL: <http://tracker.bro-ids.org/bro/ticket/466>
Bro Tracker <http://tracker.bro-ids.org/bro>
Bro Issue Tracker