tree e114e073f302657254cb037eb30743148fea3e53
parent 13d1dbf6f264a502da0e30f90f57f31634919589
author Pavlin Radoslavov <pavlin@onlab.us> 1397851838 -0700
committer Pavlin Radoslavov <pavlin@onlab.us> 1397851838 -0700

Use DPID format like "00:00:00:00:00:00:00:00" to set the switch DPID
instead of an integer when pusing an intent via the REST api.

Change-Id: Ie58a774762f201e64f85ec811ca0aa0b2c51d6b1