Detect #774376 and refuse to use docker if the system is so broken that docker exec doesn't enter a chroot.

debian/changelog

@@ -2,6 +2,8 @@ propellor (1.2.3) UNRELEASED; urgency=medium
 
   * --spin checks if the DNS matches any configured IP address property
     of the host, and if not, sshes to the host by IP address.
+  * Detect #774376 and refuse to use docker if the system is so broken
+    that docker exec doesn't enter a chroot.
 
  -- Joey Hess <id@joeyh.name>  Thu, 01 Jan 2015 13:27:23 -0400
 

src/Propellor/Property/Docker.hs

@@ -351,29 +351,44 @@ runningContainer cid@(ContainerId hn cn) image runps = containerDesc cid $ prope
 	-- Check if the ident has changed; if so the
 	-- parameters of the container differ and it must
 	-- be restarted.
-	checkident runningident
+	checkident (Right runningident)
 		| runningident == Just ident = noChange
 		| otherwise = do
 			void $ liftIO $ stopContainer cid
 			restartcontainer
+	checkident (Left errmsg) = do
+		warningMessage errmsg
+		return FailedChange
 
 	restartcontainer = do
 		oldimage <- liftIO $ fromMaybe image <$> commitContainer cid
 		void $ liftIO $ removeContainer cid
 		go oldimage
 
-	getrunningident = readish
+	getrunningident = withTmpFile "dockerrunsane" $ \t h -> do
-		<$> readProcess' (inContainerProcess cid [] ["cat", propellorIdent])
+		-- detect #774376 which caused docker exec to not enter
+		-- the container namespace, and be able to access files
+		-- outside
+		hClose h
+		void . checkSuccessProcess . processHandle =<<
+			createProcess (inContainerProcess cid []
+				["rm", "-f", t])
+		ifM (doesFileExist t)
+			( Right . readish <$>
+				readProcess' (inContainerProcess cid []
+					["cat", propellorIdent])
+			, return $ Left "docker exec failed to enter chroot properly (maybe an old kernel version?)"
+			)
 
-	retry :: Int -> IO (Maybe a) -> IO (Maybe a)
+	retry :: Int -> IO (Either e (Maybe a)) -> IO (Either e (Maybe a))
-	retry 0 _ = return Nothing
+	retry 0 _ = return (Right Nothing)
 	retry n a = do
 		v <- a
 		case v of
-			Just _ -> return v
+			Right Nothing -> do
-			Nothing -> do
+				threadDelaySeconds (Seconds 1)		
-				threadDelaySeconds (Seconds 1)				
 				retry (n-1) a
+			_ -> return v
 
 	go img = do
 		liftIO $ do