PR# 17156 Operating system signal in {EXECUTION_ENVIRONMENT}.eif_sleep in EiffelStudio.

Problem Report Summary
Submitter: manus_eiffel
Category: EiffelStudio
Priority: Medium
Date: 2010/10/21
Class: Bug
Severity: Serious
Number: 17156
Release: 6.7.8.4500
Confidential: No
Status: Open
Responsible:
Environment: EiffelStudio 6.7.8.4500 GPL Edition - linux-x86-64
Synopsis: Operating system signal in {EXECUTION_ENVIRONMENT}.eif_sleep in EiffelStudio.

Description
For some reasons, on my Ubuntu 10.10, running estudio and then quitting EiffelStudio does not quit `estudio'. If I do `Ctrl+C' I'm getting this trace.

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  eif_sleep              Interrupt:                   
<00007F4155EFA9E8>  (From EXECUTION_ENVIRONMENT)
                                           Operating system signal.      Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  eif_sleep                                           
<00007F4155EFA9E8>  (From EXECUTION_ENVIRONMENT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  sleep @1                                            
<00007F4155EFA9E8>  (From EXECUTION_ENVIRONMENT)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  sleep @1                                            
<00007F4155EFA9E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  wait_for_input @1                                   
<00007F4155EFA9E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  process_event_queue @64
<00007F4155EFA9E8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @3                                           
<00007F4155EFA9E8>  (From EV_APPLICATION_I)
                                           Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION_IMP  launch @2                                           
<00007F4155EFA9E8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EV_APPLICATION      launch @2                                           
<00007F4155EFA9B8>                         Routine failure.              Fail
-------------------------------------------------------------------------------
ES_GRAPHIC          make @4                                             
<00007F4155EFA998>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           make @4                                             
<00007F4155DEEB78>                         Routine failure.              Fail
-------------------------------------------------------------------------------
EB_KERNEL           root's creation                                     
<00007F4155DEEB78>                         Routine failure.              Exit
-------------------------------------------------------------------------------
To Reproduce

										
Problem Report Interactions