addbe518d6373d761309fc11b635ca2392570f2d,benchmarking/platforms/android/adb.py,ADB,reboot,#ADB#,41

Before Change

        return self.run("logcat", *args)

    def reboot(self):
        return self.run("reboot")

    def deleteFile(self, file):
        return self.shell(["rm", "-f", file])

After Change

        self.run("reboot")
        getLogger().info("Rebooting: {}".format(self.device))
        t = 0
        ls = None
        while ls is None and t < 6:
            t = t + 1
            time.sleep(20)
            ls = self.shell(["ls", self.tempdir])
        // Need to wait a bit more after the device is rebooted
        time.sleep(300)
        if ls is None:
            getLogger().error("Cannot reach device {} after reboot.".
                              format(self.device))

Instances