> Maybe it would be better to use "sed" to remove the file name and line
> number from the traceback, e.g. something like:
>
> sed 's/File "[^"]*", line [0-9][0-9]*,/File <name>, line <number>/'

Good idea.  I changed the patch, I can send it back out if you'd like to see.

Ethan
_______________________________________________
dev mailing list
[email protected]
http://openvswitch.org/mailman/listinfo/dev

Reply via email to