widgets/widgetlauncher/src/WidgetLauncher.cpp
changeset 1 7c90e6132015
parent 0 dd21522fd290
child 10 a359256acfc6
equal deleted inserted replaced
0:dd21522fd290 1:7c90e6132015
   129     // Dump the URL, we don't need it anymore.    
   129     // Dump the URL, we don't need it anymore.    
   130     CleanupStack::PopAndDestroy( mainHTML );
   130     CleanupStack::PopAndDestroy( mainHTML );
   131 
   131 
   132     // Try to get the size.
   132     // Try to get the size.
   133     TRAP_IGNORE( aOperation = readStream.ReadInt32L() );
   133     TRAP_IGNORE( aOperation = readStream.ReadInt32L() );
       
   134     
       
   135     delete commandLine;
       
   136     commandLine = NULL;
   134     }
   137     }
   135     
   138     
   136 //===========================================================================
   139 //===========================================================================
   137 // Launch widget.
   140 // Launch widget.
   138 //===========================================================================
   141 //===========================================================================