From 481d47e870f81c2c35b6068cc078bba70777b0a7 Mon Sep 17 00:00:00 2001
From: Luca Bigliardi <shammash@google.com>
Date: Wed, 12 May 2010 11:35:51 +0100
Subject: [PATCH] Add /dev/console constant

Signed-off-by: Luca Bigliardi <shammash@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
---
 lib/constants.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/constants.py b/lib/constants.py
index 4edc36e4c..e5c9f9705 100644
--- a/lib/constants.py
+++ b/lib/constants.py
@@ -170,6 +170,8 @@ LOG_WATCHER = LOG_DIR + "watcher.log"
 LOG_COMMANDS = LOG_DIR + "commands.log"
 LOG_BURNIN = LOG_DIR + "burnin.log"
 
+DEV_CONSOLE = "/dev/console"
+
 # one of 'no', 'yes', 'only'
 SYSLOG_USAGE = _autoconf.SYSLOG_USAGE
 SYSLOG_NO = "no"
-- 
GitLab