Re: [reverse RFA] Remove process record warning code

[Michael Snyder <msnyder@vmware.com>]

You don't think you need this special warning?

teawater wrote:
> Hi Michael,
> 
> 2008-10-17  Hui Zhu  <teawater@gmail.com>
> 
>         * infcmd.c (kill_if_already_running): Remove process record
>         warning code.
> 
> Thanks,
> Hui
> 
> 
> ------------------------------------------------------------------------
> 
> --- a/ChangeLog
> +++ b/ChangeLog
> @@ -1,3 +1,8 @@
> +2008-10-17  Hui Zhu  <teawater@gmail.com>
> +
> +	* infcmd.c (kill_if_already_running): Remove process record
> +	warning code.
> +
>  2008-10-15  Hui Zhu  <teawater@gmail.com>
>  
>  	Change "record-auto-delete" to "record-stop-at-limit".
> --- a/infcmd.c
> +++ b/infcmd.c
> @@ -51,7 +51,6 @@
>  #include "exceptions.h"
>  #include "cli/cli-decode.h"
>  #include "gdbthread.h"
> -#include "record.h"
>  
>  /* Functions exported for general use, in inferior.h: */
>  
> @@ -427,12 +426,8 @@ kill_if_already_running (int from_tty)
>  	 restart it.  */
>        target_require_runnable ();
>  
> -      if (from_tty)
> -	if (!query (RECORD_IS_USED ?
> -		    "The program being debugged has been started already,\n\
> -and is running in record/replay mode.  Do you want to abandon\n\
> -the recording and start the program from the beginning? " :
> -		    "The program being debugged has been started already.\n\
> +      if (from_tty
> +	  && !query ("The program being debugged has been started already.\n\
>  Start it from the beginning? "))
>  	  error (_("Program not restarted."));
>        target_kill ();