commit 147b4d75e1d4ca795d45ffe51d83efd19a754cf2
author Jerome Poichet <jpoichet@google.com> Mon May 12 18:13:27 2014 -0700
committer Jerome Poichet <jpoichet@google.com> Tue May 13 12:06:52 2014 -0700
tree d9a39dd8ef4b4c3ca407a7bb59b190c0d5e386b6
parent 4cf7965767e102e6f5a20437c58cc56619da10ff

Adding device name

A new global settings to name a device. This will centralize the notion
of device name/nickname and should be used by Cast, Bluetooth, TV Remote and other
advertising applications/services.

Change-Id: I2294deb5c0d1002fb2fc158f62a2d5643d90d749

core/java/android/provider/Settings.java

diff --git a/core/java/android/provider/Settings.java b/core/java/android/provider/Settings.java
index e1fd46e..3cf51b4 100644
--- a/core/java/android/provider/Settings.java
+++ b/core/java/android/provider/Settings.java
@@ -6147,6 +6147,13 @@
         /** @hide */ public static final int HEADS_UP_ON = 1;
 
         /**
+         * The name of the device
+         *
+         * @hide
+         */
+        public static final String DEVICE_NAME = "device_name";
+
+        /**
          * Settings to backup. This is here so that it's in the same place as the settings
          * keys and easy to update.
          *