- Timestamp:
- Nov 8, 2012, 10:58:11 PM (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
code/branches/soundEffects/src/modules/portals/PortalEndPoint.h
r8767 r9437 115 115 std::map<MobileEntity *, time_t> jumpOutTimes_; //!< Stores the time at which a certain MobileEntity @ref jumpOut "jumped out" of this PortalEndPoint 116 116 std::set<MobileEntity *> recentlyJumpedOut_; //!< Stores the entities witch recently jumped out of this PortalEndPoint and haven't left the activation radius yet. This is needed in order to prevent them from beeing pulled into the PortalEndPoint they have just come out of. 117 118 WorldSound* portalSound_; 117 119 }; 118 120
Note: See TracChangeset
for help on using the changeset viewer.