[Bro-Dev] #679: Add support for deleting vector elements

[Bro Tracker]

#679: Add support for deleting vector elements
-----------------------+------------------------
  Reporter:  matthias  |      Owner:
      Type:  Problem   |     Status:  new
  Priority:  Normal    |  Milestone:  Bro2.0
 Component:  Bro       |    Version:  git/master
Resolution:            |   Keywords:
-----------------------+------------------------

Comment (by matthias):

 Replying to [comment:0 robin]:
 > I'm still not sure about that: what would it do?

 In this case, it would simple delete the 4th element in the vector (and
 perhaps even shrink it's size to 0). That is, before the delete we have:
 {{{
 [ NULL, NULL, NULL, "foo" ]
 }}}
 and afterwards
 {{{
 [ ]
 }}}

 Does that make sense?

     Matthias

-- 
Ticket URL: <http://tracker.bro-ids.org/bro/ticket/679#comment:1>
Bro Tracker <http://tracker.bro-ids.org/bro>
Bro Issue Tracker