I dunno, gabner, you're making it sound like there's something wrong with pumping for a longer period of time. Even if the baby is taking solids well (and at 10 months I doubt that she could have stopped pumping "months ago"), pumped breast milk will still provide many benefits, just like continued nursing. Before one year, solid foods are a complement to nursing, not a replacement. If a mother is gone 8-9 hours a day, 5 days a week, it may be possible to rely on solid foods during that time, but it hardly seems advisable. Some babies (my son was one of them) are slower to start solids and really need the benefits of pumped breast milk.
Even though it can be a pain sometimes, pumping provides a way for a mother to take a break from the working world and do something to connect her to her little one. I know my son was greatly comforted by the taste of my milk while I was at work. Some mothers might be happy to keep pumping if they just cut out one session, so there is less of an impact on their work day. If she's feeling put out by all the pumping, cutting back a little and seeing how it goes, for her and her baby, is a good idea.