Re: [PATCH/python] notify memory changed.

[Joel Brobecker <brobecker@adacore.com>]

> 2012-06-18  Yao Qi  <yao@codesourcery.com>
> 
> 	* python/py-inferior.c (infpy_write_memory): Invoke
> 	observer_notify_memory_changed.

Just wondering if it shouldn't be write_memory itself that should
call observer_notify_memory_changed?

> ---
>  gdb/python/py-inferior.c |    1 +
>  1 files changed, 1 insertions(+), 0 deletions(-)
> 
> diff --git a/gdb/python/py-inferior.c b/gdb/python/py-inferior.c
> index efbf14b..bdd39b2 100644
> --- a/gdb/python/py-inferior.c
> +++ b/gdb/python/py-inferior.c
> @@ -494,6 +494,7 @@ infpy_write_memory (PyObject *self, PyObject *args, PyObject *kw)
>  	  break;
>  	}
>        write_memory (addr, buffer, length);
> +      observer_notify_memory_changed (addr, length, buffer);
>      }
>    GDB_PY_HANDLE_EXCEPTION (except);
>  
> -- 
> 1.7.0.4

-- 
Joel