mirror of
https://github.com/opennetworkinglab/onos.git
synced 2025-10-17 18:32:28 +02:00
This commit keeps the original behavior, but it may cause a cast error. It is better to use filter() to avoid the cast error. Change-Id: Ieb3150e9775ed0689b3861de5179ff1346d2a3e6