[PATCH] Change pid_to_str to return std::string

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes:

Tom> Currently the target pid_to_str method returns a const char *, so many
Tom> implementations have a static buffer that they update.  This patch
Tom> changes these methods to return a std::string instead.  I think this
Tom> is cleaner and avoids possible gotchas when calling pid_to_str on
Tom> different ptids in a single statement.  (Though no such calls exist
Tom> currently.)

I'm checking this in now.

Tom