Finalised version of tep115

diff --git a/doc/html/tep115.html b/doc/html/tep115.html
index 8e6bfac78fcbc7a547b86ff91b3f4b66bded71a5..2b0dc84dc4d6e4101ae23ba8a3fd1bb8b18f2a5e 100644 (file)
--- a/doc/html/tep115.html
+++ b/doc/html/tep115.html
@@ -311,9 +311,9 @@ ul.auto-toc {
 <td>Kevin Klues, Vlado Handziski, Jan-Hinrich Hauer, Phil Levis</td></tr>
 <tr class="field"><th class="docinfo-name">Draft-Created:</th><td class="field-body">11-Jan-2006</td>
 </tr>
-<tr class="field"><th class="docinfo-name">Draft-Version:</th><td class="field-body">1.7</td>
+<tr class="field"><th class="docinfo-name">Draft-Version:</th><td class="field-body">1.8</td>
 </tr>
-<tr class="field"><th class="docinfo-name">Draft-Modified:</th><td class="field-body">2007-02-21</td>
+<tr class="field"><th class="docinfo-name">Draft-Modified:</th><td class="field-body">2007-09-14</td>
 </tr>
 <tr class="field"><th class="docinfo-name">Draft-Discuss:</th><td class="field-body">TinyOS Developer List
 &lt;tinyos-devel at mail.millennium.berkeley.edu&gt;</td>
@@ -790,9 +790,9 @@ module MyFlashP {
   provides {
     interface Init;
     interface SplitControl;
-        interface Resource;
-        interface FlashCommands;
-        ...
+    interface Resource;
+    interface FlashCommands;
+    ...
   }
 }
 implementation {
@@ -801,11 +801,11 @@ implementation {
 
 generic module PowerManagerC(uint8_t POWERDOWN_DELAY) {
   provides {
-        interface Init;
+    interface Init;
   }
   uses {
-        interface SplitControl;
-        interface ResourceDefaultOwner;
+    interface SplitControl;
+    interface ResourceDefaultOwner;
   }
 }
 implementation {
@@ -816,15 +816,15 @@ implementation {
 #define MYFLASH_POWERDOWN_DELAY       1000
 configuration MyFlashC {
   provides {
-        interface Init;
-        interface Resource;
-        interface FlashCommands;
+    interface Init;
+    interface Resource;
+    interface FlashCommands;
   }
 }
 implementation {
   components new PowerManagerC(MYFLASH_POWERDOWN_DELAY)
-      , FcfsArbiter(MYFLASH_RESOURCE)
-      , MyFlashP;
+  , FcfsArbiter(MYFLASH_RESOURCE)
+  , MyFlashP;
 
   Init = MyFlashP;
   Resource = FcfsArbiter;

diff --git a/doc/txt/tep115.txt b/doc/txt/tep115.txt
index f224d458afc3eb25655a0ca3bdf7cc4e7b25ed4d..af27a1c3ed7e02b89ecd9de8fe995098fab40699 100644 (file)
--- a/doc/txt/tep115.txt
+++ b/doc/txt/tep115.txt
@@ -485,9 +485,9 @@ according to the *implicitly power management* model could be built as shown bel
     provides {
       interface Init;
       interface SplitControl;
-         interface Resource;
-         interface FlashCommands;
-         ...
+      interface Resource;
+      interface FlashCommands;
+      ...
     }
   }
   implementation {
@@ -496,11 +496,11 @@ according to the *implicitly power management* model could be built as shown bel
 
   generic module PowerManagerC(uint8_t POWERDOWN_DELAY) {
     provides {
-         interface Init;
+      interface Init;
     }
     uses {
-         interface SplitControl;
-         interface ResourceDefaultOwner;
+      interface SplitControl;
+      interface ResourceDefaultOwner;
     }
   }
   implementation {
@@ -511,15 +511,15 @@ according to the *implicitly power management* model could be built as shown bel
   #define MYFLASH_POWERDOWN_DELAY      1000
   configuration MyFlashC {
     provides {
-         interface Init;
-         interface Resource;
-         interface FlashCommands;
+      interface Init;
+      interface Resource;
+      interface FlashCommands;
     }
   }
   implementation {
     components new PowerManagerC(MYFLASH_POWERDOWN_DELAY)
-       , FcfsArbiter(MYFLASH_RESOURCE)
-       , MyFlashP;
+    , FcfsArbiter(MYFLASH_RESOURCE)
+    , MyFlashP;
 
     Init = MyFlashP;
     Resource = FcfsArbiter;