changeset 84:c35a455d914d

8066187: Platform-registered Devices are successfully removed from dio.properties file on a call to DeviceManager.unregister() Summary: Added predefined:true to dio.properties-raspberrypi Reviewed-by: snazarki Contributed-by: alexey.mironov@oracle.com
author amironov
date Wed, 21 Jan 2015 20:52:04 +0300
parents d890b3e2738e
children 76b295ea4035
files config/dio.properties-raspberrypi
diffstat 1 files changed, 22 insertions(+), 22 deletions(-) [+]
line wrap: on
line diff
--- a/config/dio.properties-raspberrypi	Fri Jan 16 15:01:19 2015 +0400
+++ b/config/dio.properties-raspberrypi	Wed Jan 21 20:52:04 2015 +0300
@@ -1,5 +1,5 @@
 #########################################################################
-# Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
+# Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
 # DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 #
 # This code is free software; you can redistribute it and/or modify it
@@ -24,27 +24,27 @@
 #
 #########################################################################
 
-2  = deviceType: gpio.GPIOPin, pinNumber:2, name:GPIO2, mode:1
-3  = deviceType: gpio.GPIOPin, pinNumber:3, name:GPIO3, mode:1
-4  = deviceType: gpio.GPIOPin, pinNumber:4, name:GPIO4
-17 = deviceType: gpio.GPIOPin, pinNumber:17, name:GPIO17
-27 = deviceType: gpio.GPIOPin, pinNumber:27, name:GPIO27
-22 = deviceType: gpio.GPIOPin, pinNumber:22, name:GPIO22
-10 = deviceType: gpio.GPIOPin, pinNumber:10, name:GPIO10
-9  = deviceType: gpio.GPIOPin, pinNumber:9, name:GPIO9
-11 = deviceType: gpio.GPIOPin, pinNumber:11, name:GPIO11
-14 = deviceType: gpio.GPIOPin, pinNumber:14, name:GPIO14, mode:4, direction:1
-15 = deviceType: gpio.GPIOPin, pinNumber:15, name:GPIO15, mode:4, direction:1
-18 = deviceType: gpio.GPIOPin, pinNumber:18, name:GPIO18, mode:4, direction:1
-23 = deviceType: gpio.GPIOPin, pinNumber:23, name:GPIO23, mode:4, direction:1
-24 = deviceType: gpio.GPIOPin, pinNumber:24, name:GPIO24, mode:4, direction:1
-25 = deviceType: gpio.GPIOPin, pinNumber:25, name:GPIO25, mode:4, direction:1
-8  = deviceType: gpio.GPIOPin, pinNumber:8, name:GPIO8, mode:4, direction:1
-7  = deviceType: gpio.GPIOPin, pinNumber:7, name:GPIO7, mode:4, direction:1
+2  = deviceType: gpio.GPIOPin, pinNumber:2, name:GPIO2, mode:1, predefined:true
+3  = deviceType: gpio.GPIOPin, pinNumber:3, name:GPIO3, mode:1, predefined:true
+4  = deviceType: gpio.GPIOPin, pinNumber:4, name:GPIO4, predefined:true
+17 = deviceType: gpio.GPIOPin, pinNumber:17, name:GPIO17, predefined:true
+27 = deviceType: gpio.GPIOPin, pinNumber:27, name:GPIO27, predefined:true
+22 = deviceType: gpio.GPIOPin, pinNumber:22, name:GPIO22, predefined:true
+10 = deviceType: gpio.GPIOPin, pinNumber:10, name:GPIO10, predefined:true
+9  = deviceType: gpio.GPIOPin, pinNumber:9, name:GPIO9, predefined:true
+11 = deviceType: gpio.GPIOPin, pinNumber:11, name:GPIO11, predefined:true
+14 = deviceType: gpio.GPIOPin, pinNumber:14, name:GPIO14, mode:4, direction:1, predefined:true
+15 = deviceType: gpio.GPIOPin, pinNumber:15, name:GPIO15, mode:4, direction:1, predefined:true
+18 = deviceType: gpio.GPIOPin, pinNumber:18, name:GPIO18, mode:4, direction:1, predefined:true
+23 = deviceType: gpio.GPIOPin, pinNumber:23, name:GPIO23, mode:4, direction:1, predefined:true
+24 = deviceType: gpio.GPIOPin, pinNumber:24, name:GPIO24, mode:4, direction:1, predefined:true
+25 = deviceType: gpio.GPIOPin, pinNumber:25, name:GPIO25, mode:4, direction:1, predefined:true
+8  = deviceType: gpio.GPIOPin, pinNumber:8, name:GPIO8, mode:4, direction:1, predefined:true
+7  = deviceType: gpio.GPIOPin, pinNumber:7, name:GPIO7, mode:4, direction:1, predefined:true
 
-12 = deviceType: spibus.SPIDevice, name:SPI_Slave, deviceNumber:0, address:0, csActive:1, wordLength:8, clockFrequency:500000, clockMode:1, bitOrdering:1
+12 = deviceType: spibus.SPIDevice, name:SPI_Slave, deviceNumber:0, address:0, csActive:1, wordLength:8, clockFrequency:500000, clockMode:1, bitOrdering:1, predefined:true
 
-40 = deviceType: uart.UART, deviceNumber:0, name:UART, baudRate:19200, dataBits:8, parity:0, stopBits:1, flowControl:0
-gpio.GPIOPin = initValue:0, deviceNumber:0, direction:0, mode:1, trigger:3
-uart.UART = baudRate:19200, parity:0, dataBits:8, stopBits:1, flowControl:0
+40 = deviceType: uart.UART, deviceNumber:0, name:UART, baudRate:19200, dataBits:8, parity:0, stopBits:1, flowControl:0, predefined:true
+gpio.GPIOPin = initValue:0, deviceNumber:0, direction:0, mode:1, trigger:3, predefined:true
+uart.UART = baudRate:19200, parity:0, dataBits:8, stopBits:1, flowControl:0, predefined:true