def post(self):
        if not self.current_user:
            return self.send_error(403)
        self.pushid = pushmanager.core.util.get_int_arg(self.request, 'id')
        push_query = db.push_pushes.update().where(db.push_pushes.c.id == self.pushid).values({
            'state': 'discarded',
            'modified': time.time(),
            })
        request_query_pickme = db.push_requests.update().where(
            SA.exists(
                [1],
                SA.and_(
                    db.push_pushcontents.c.push == self.pushid,
                    db.push_pushcontents.c.request == db.push_requests.c.id,
                    db.push_requests.c.state == 'pickme',
                )
            )).values({
                'state': 'requested',
            })
        delete_query = db.push_pushcontents.delete().where(
            SA.exists(
                [1],
                SA.and_(
                    db.push_pushcontents.c.push == self.pushid,
                    db.push_pushcontents.c.request == db.push_requests.c.id,
                    db.push_requests.c.state is not 'requested',
                )
            ))
        request_query_all = db.push_requests.update().where(
            SA.exists(
                [1],
                SA.and_(
                    db.push_pushcontents.c.push == self.pushid,
                    db.push_pushcontents.c.request == db.push_requests.c.id,
                )
            )).values({
                'state': 'requested',
            })
        db.execute_transaction_cb(
            [push_query, request_query_pickme, delete_query, request_query_all],
            self.on_db_complete
        )
dataset/ETHPy150Open YelpArchive/pushmanager/pushmanager/servlets/discardpush.py/DiscardPushServlet.post/operator `==` -> `is not`