From: Ben Pfaff <blp@nicira.com>
Date: Wed, 17 Jun 2009 18:50:46 +0000 (-0700)
Subject: datapath: Fix ODP_PORT_DEL handling of bad user memory read.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=330a8abb28a997e8fe2b61cef8f1197d9807afeb;p=openvswitch

datapath: Fix ODP_PORT_DEL handling of bad user memory read.
---

diff --git a/datapath/datapath.c b/datapath/datapath.c
index e1fd21f5..7299cd17 100644
--- a/datapath/datapath.c
+++ b/datapath/datapath.c
@@ -1355,7 +1355,7 @@ static long openvswitch_ioctl(struct file *f, unsigned int cmd,
 	case ODP_PORT_DEL:
 		err = get_user(port_no, (int __user *)argp);
 		if (err)
-			break;
+			return err;
 		return del_port(dp_idx, port_no);
 	}